diff options
author | Siebrand Mazeland <s.mazeland@xs4all.nl> | 2009-11-08 23:32:15 +0100 |
---|---|---|
committer | Siebrand Mazeland <s.mazeland@xs4all.nl> | 2009-11-08 23:32:15 +0100 |
commit | 5ab709b73977131813884558bf56d97172a7aa26 (patch) | |
tree | 2015f93426f559514bdb697b391ea97f98858577 /scripts/console.php | |
parent | 104a47e4a2903f1c7ea73363a73cee12f0cf14ac (diff) |
Remove more contractions
* doesn't
* won't
* isn't
* don't
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 2413f5079..fecb75b4a 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. :) |