summaryrefslogtreecommitdiff
path: root/scripts/console.php
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/console.php')
-rwxr-xr-xscripts/console.php4
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. :)