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


 * Version: 1.19.3
 * Problem: deleteBatch.php tries to open file to read even if stdin is used.
 * Description:

Trying to use stdin to batch delete pages as follows: PHP Warning: fopen(1): failed to open stream: No such file or directory in /var/www/cmdb.procolix.com/mediawiki-1.19.3/maintenance/deleteBatch.php on line 63 Unable to read file, exiting
 * 1) echo -e "page1\npage2\npage3\n" | php deleteBatch.php -u Admin -r 'Delete my pages' -i 1

The offending code in maintenance/deleteBatch.php:

Workaround: Tried this forcibly by commenting out as such:

so that standard in is always used. Now the deletion works as expected.