maintenance/purgePage.php output page being purged
authoraddshore <adamshorland@gmail.com>
Mon, 4 Jun 2018 09:03:22 +0000 (10:03 +0100)
committerAddshore <addshorewiki@gmail.com>
Tue, 5 Jun 2018 12:01:41 +0000 (12:01 +0000)
commitb816cdbb6bebd892be8aafd739bbc4b92141ee83
tree447aacb5b731b65d4fddd9f4ef49c87794eb7a22
parentd5b271a464c97a54a7f4f9ec6d76e54249acef24
maintenance/purgePage.php output page being purged

This is useful when piping lists of pages into the script
to see progress.

Change-Id: I077249ad012d0c463306c0a1a1e38d00624c5170
maintenance/purgePage.php