From e0a2c82b43adef9e962bdf0387a98b1dfc4df226 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Sun, 23 Oct 2005 11:39:17 +0000 Subject: [PATCH] --list : list special pages names --- maintenance/updateSpecialPages.php | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/maintenance/updateSpecialPages.php b/maintenance/updateSpecialPages.php index 0db2aef995..15191b6652 100644 --- a/maintenance/updateSpecialPages.php +++ b/maintenance/updateSpecialPages.php @@ -11,6 +11,7 @@ require_once( 'QueryPage.php' ); if(@$options['help']) { print "usage:updateSpecialPages.php [--help] [--only=page]\n"; print " --help : this help message\n"; + print " --list : list special pages names\n"; print " --only=page : only update 'page'. Ex: --only=BrokenRedirects\n"; die(); } @@ -21,6 +22,12 @@ $dbw =& wfGetDB( DB_MASTER ); foreach ( $wgQueryPages as $page ) { @list( $class, $special, $limit ) = $page; + # --list : just show the name of pages + if( @$options['list'] ) { + print "$special\n"; + continue; + } + $specialObj = SpecialPage::getPage( $special ); if ( !$specialObj ) { print "No such special page: $special\n"; -- 2.20.1