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  * @file
  10  * @ingroup Maintenance
  11  * @author Ashar Voultoiz <hashar at free dot fr>
  12  */
  13
  14 // This is a command line script, load tools and parse args
  15 require_once( 'userOptions.inc' );
  16
  17 // Load up our tool system, exit with usage() if options are not fine
  18 $uo = new userOptions( $options, $args );
  19
  20 $uo->run();
  21
  22 print "Done.\n";
  23