deleteBatch.php --help says:
Usage: ... <listfile>
... <listfile>: File with titles to delete, separated by newlines
Actually these should both be [listfile], not <listfile>
Also say:
[listfile]: File with titles to delete, separated by newlines. If not given, stdin is used.
Version: 1.17.x
Severity: trivial