* Add a CSS id to the table
[mediawiki.git] / maintenance / undelete.php
blobc9a2f9ed36012cf43396af1e535b015d8093057b
1 <?php
3 $usage = <<<EOT
4 Undelete a page
5 Usage: php undelete.php [-u <user>] [-r <reason>] <pagename>
7 EOT;
9 $optionsWithArgs = array( 'u', 'r' );
10 require_once( 'commandLine.inc' );
12 $user = 'Command line script';
13 $reason = '';
15 if ( isset( $options['u'] ) ) {
16 $user = $options['u'];
18 if ( isset( $options['r'] ) ) {
19 $reason = $options['r'];
21 $pageName = @$args[0];
22 $title = Title::newFromText( $pageName );
23 if ( !$title ) {
24 echo $usage;
25 exit( 1 );
27 $wgUser = User::newFromName( $user );
28 $archive = new PageArchive( $title );
29 echo "Undeleting " . $title->getPrefixedDBkey() . '...';
30 $archive->undelete( array(), $reason );
31 echo "done\n";