Merge branch '0.9.x' of git://gitorious.org/statusnet/mainline into 0.9.x

[quix0rs-gnu-social.git] / scripts / console.php

diff --git a/scripts/console.php b/scripts/console.php
index 2413f50793ded0be59c2d4c02870a8c954427ee8..2a000d39b077071965176b8f68fd53c2f044124f 100755 (executable)
--- 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. :)
@@ -90,7 +90,7 @@ function readline_emulation($prompt)
         if ($retval == 0) {
             return $line;
         } elseif ($retval == 127) {
-            // Could not execute bash even though we thought we saw it.
+            // Couldn't execute bash even though we thought we saw it.
             // Shell probably spit out an error message, sorry :(
             // Fall through to fgets()...
         } else {