Merge "(bug 37020) sql.php with readline eats semicolon"
authorDemon <chadh@wikimedia.org>
Thu, 25 Oct 2012 13:32:38 +0000 (13:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 Oct 2012 13:32:38 +0000 (13:32 +0000)
commitc5462bcde00ae7cbaa1e3c1388d59a0322790b61
treecf2aba4183f118e8b6b2ea9f211eeaa4043e52e3
parent2ea96ce0cc7e46a2cdab1cbf03f235b6057c642e
parentc8e136dbbb9a72393cbb8aca22e791d44fa0a612
Merge "(bug 37020) sql.php with readline eats semicolon"
maintenance/sql.php