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