]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - maintenance/userOptions.php
MediaWiki 1.11.0-scripts
[autoinstalls/mediawiki.git] / 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