maintenance/userOptions.php

   1 <?php
   2 /**
   3  * Script to change users skins on the fly.
   4  * This is for at least MediaWiki 1.10alpha (r19611) and have not been
   5  * tested with previous versions. It should probably work with 1.7+.
   6  *
   7  * Made on an original idea by Fooey (freenode)
   8  *
   9  * This program is free software; you can redistribute it and/or modify
  10  * it under the terms of the GNU General Public License as published by
  11  * the Free Software Foundation; either version 2 of the License, or
  12  * (at your option) any later version.
  13  *
  14  * This program is distributed in the hope that it will be useful,
  15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  17  * GNU General Public License for more details.
  18  *
  19  * You should have received a copy of the GNU General Public License along
  20  * with this program; if not, write to the Free Software Foundation, Inc.,
  21  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  22  * http://www.gnu.org/copyleft/gpl.html
  23  *
  24  * @file
  25  * @ingroup Maintenance
  26  * @author Antoine Musso <hashar at free dot fr>
  27  */
  28
  29 // This is a command line script, load tools and parse args
  30 require_once( 'userOptions.inc' );
  31
  32 // Load up our tool system, exit with usage() if options are not fine
  33 $uo = new userOptions( $options, $args );
  34
  35 $uo->run();
  36
  37 print "Done.\n";
  38