diff options
| author | Brion Vibber <brion@pobox.com> | 2009-11-09 20:01:46 +0100 |
|---|---|---|
| committer | Brion Vibber <brion@pobox.com> | 2009-11-09 20:01:46 +0100 |
| commit | 088081675fb7d5250a9b9dfe5015de0822cb5ac2 (patch) | |
| tree | 6b875217286883172802f0565291e2b4d15a8b5c /scripts/console.php | |
| parent | 8e58f241739b97bd53f78035781f16e2067a31d9 (diff) | |
Revert "Remove more contractions"
This reverts commit 5ab709b73977131813884558bf56d97172a7aa26.
Missed this one yesterday...
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. :) |