}
/**
- * 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. :)
print "Welcome to StatusNet's interactive PHP console!\n";
print "Type some PHP code and it'll execute...\n";
print "\n";
- print "Hint: return a value of any time to output it via var_export():\n";
+ print "Hint: return a value of any type to output it via var_export():\n";
print " \$profile = new Profile();\n";
print " \$profile->find();\n";
print " \$profile->fetch();\n";