[Mediawiki-l] DeleteBatch.php command options

[Paul Coghlan]

I used DeletBatch yesterday and through more luck than judgment. If there is
a page out there documenting the use of this script I am sadly unable to
find it.

Does anyone have any insight as to:

1 ­ once it is run it appears to sit waiting for a valid page name which
when entered it will delete. Can I use wildcards or ranges (or even better,
a range of Page_id¹s)

2 ­ how do you escape the command? For the life of me I couldn¹t escape the
command once run.

3 ­ Can I paste into the sessions screen a list of page names?

Apologies if this one is a tad basic but my Google skills are failing me
this morning

Thanks,
Paul