diff options
Diffstat (limited to 'maintenance/userOptions.php')
| -rw-r--r-- | maintenance/userOptions.php | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php new file mode 100644 index 00000000..f71d8e62 --- /dev/null +++ b/maintenance/userOptions.php @@ -0,0 +1,21 @@ +<?php +/** + * Script to change users skins on the fly. + * This is for at least MediaWiki 1.10alpha (r19611) and have not been + * tested with previous versions. It should probably work with 1.7+. + * + * Made on an original idea by Fooey (freenode) + * + * @author Ashar Voultoiz <hashar@altern.org> + */ + +// This is a command line script, load tools and parse args +require_once( 'userOptions.inc' ); + +// Load up our tool system, exit with usage() if options are not fine +$uo = new userOptions( $options, $args ); + +$uo->run(); + +print "Done.\n"; +?> |