Aktualisierung auf MediaWiki 1.10.0

Plugins angepasst und verbessert
kleine Korrekturen am Design

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";
+?>