4 commits

Author	SHA1	Message	Date
jeroendedauw	38c7f444e1	Use __DIR__ instead of dirname( __FILE__ ) ... We can now do this since we finally switched to PHP 5.3 for MW 1.20 and get rid of the silly dirname(__FILE__) stuff :) Change-Id: Id9b2c9cd2e678197aa81c78adced5d1d31ff57b1	2012-08-27 21:45:00 +02:00
Alexandre Emsenhuber	635df85f70	Improve documentation of maintenance scripts. ... Change-Id: I29dd0d4d18ea3d1b9795fac2f0b74b04ef2d955a	2012-08-11 22:48:09 +02:00
Daniel Friesen	cef70327a9	Followup r81928, make proper use of $this->output instead of echo.	2011-03-28 03:38:43 +00:00
Daniel Friesen	51cdf2eb14	Add a new maintenance script to reset the user_token of all users if you think someone got ahold of your user table.	2011-02-11 02:46:08 +00:00