Thread:Project:Support desk/Mediawiki 1.19.3 deleteBatch.php not working with stdin input/reply

Sorry, forgot to mention:
 * PHP 5.3.3
 * MySQL 5.1.63