diff options
| author | Evan Prodromou <evan@status.net> | 2009-11-10 16:27:23 -0500 |
|---|---|---|
| committer | Evan Prodromou <evan@status.net> | 2009-11-10 16:27:23 -0500 |
| commit | 1f5f5474f175a8248b362f8be4ff23bb5e971305 (patch) | |
| tree | c38d9b80db71ba403c61079502bc12bfe2732654 /scripts/console.php | |
| parent | 348b155376eac2130150cd041bca9fd4799334cf (diff) | |
| parent | 651cbf0681b6d263dde673ce36811710bfe553b8 (diff) | |
Merge branch '0.9.x' into adminpanel
Diffstat (limited to 'scripts/console.php')
| -rwxr-xr-x | scripts/console.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/console.php b/scripts/console.php index 2a000d39b..41dd43f28 100755 --- a/scripts/console.php +++ b/scripts/console.php @@ -60,9 +60,9 @@ function read_input_line($prompt) } /** - * On Unix-like systems where PHP readline extension is not present, + * On Unix-like systems where PHP readline extension isn't present, * -cough- Mac OS X -cough- we can shell out to bash to do it for us. - * This lets us at least handle things like arrow keys, but we do not + * This lets us at least handle things like arrow keys, but we don't * get any entry history. :( * * Shamelessly ripped from when I wrote the same code for MediaWiki. :) |