diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2006-06-20 22:56:16 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2006-06-20 22:56:16 +0200 |
| commit | 54d2f94854875c481eb511d09004175a29c7ef4d (patch) | |
| tree | 718d897c2c7cb746a01098bbec92084070712617 /inc/geshi/php.php | |
| parent | e441516e371183d6f99ebd4738e7bf76052457b0 (diff) | |
| download | rpg-54d2f94854875c481eb511d09004175a29c7ef4d.tar.gz rpg-54d2f94854875c481eb511d09004175a29c7ef4d.tar.bz2 | |
timeout for spell checker
This adds a timeout of 13 seconds to the spell checker. This doesn't
fix anything but ensures editing can be continued on a backend problem.
darcs-hash:20060620205616-7ad00-1d3440a8c9246843a1efbb6e16116ff462074943.gz
Diffstat (limited to 'inc/geshi/php.php')
0 files changed, 0 insertions, 0 deletions