From cecb985bee3bdd252e1b8dc0bd500b37cd52be01 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 16 May 2007 20:58:53 +0000
Subject: Aktualisierung auf MediaWiki 1.10.0 Plugins angepasst und verbessert
 kleine Korrekturen am Design

---
 maintenance/userOptions.php | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 maintenance/userOptions.php

(limited to 'maintenance/userOptions.php')

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";
+?>
-- 
cgit v1.2.2