• Usage: php deleteBatch.php [-u <user>] [-r <reason>] [-i <interval>] <listfile>

Say [listfile] not <listfile>

• <listfile> is a file where each line contains the title of a page to be deleted.

Say

• [listfile] is a file where each line contains the title of a page to be deleted, standard input is used if listfile is not given.

Do the same for the rest of the files in maintenance/ that accept stdin.

Version: 1.13.x
Severity: trivial