diff options
| author | Sarven Capadisli <csarven@status.net> | 2009-11-08 23:10:34 +0000 |
|---|---|---|
| committer | Sarven Capadisli <csarven@status.net> | 2009-11-08 23:10:34 +0000 |
| commit | 8e58f241739b97bd53f78035781f16e2067a31d9 (patch) | |
| tree | 8ad366f5f408d1181b1816f607a120fe0c91c502 /scripts/console.php | |
| parent | 2a0a363e1d846334bc37d46b5f6f42e64a5a96eb (diff) | |
| parent | b78a35ec73980d8dfa2fcb68ef81936f4b3c110b (diff) | |
Merge branch '0.9.x' of git@gitorious.org:statusnet/mainline into 0.9.x
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 41dd43f28..2a000d39b 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 isn't present, + * On Unix-like systems where PHP readline extension is not 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 don't + * This lets us at least handle things like arrow keys, but we do not * get any entry history. :( * * Shamelessly ripped from when I wrote the same code for MediaWiki. :) |