Last modified: 2012-12-10 00:40:02 UTC
Not sure if there's much of a need for others to use this (hence, if this is the case, move it out), but it's hard coded to using /home/wikipedia, and isn't really much use for other people... And the description does say as much - "Wikimedia specific!"
dumpInterwiki.php and addwiki.php
Could move them to an extension? "WikimediaMaintenance" sounds ok.
That sounds reasonably sane... And won't require much work, but tidy things up
I think most of these have now been done and moved to /trunk/extensions/WikimediaMaitenance compressOld.php is multi use, so is probably ok to stay in trunk bug 26140 won't be quite so easy
See also bug 33395.
Since most of WM stuff got moved to the new WikimediaMaintenance extension, I guess this bug can be closed now.
(In reply to comment #6) > Since most of WM stuff got moved to the new WikimediaMaintenance extension, I > guess this bug can be closed now. I'll give it a quick check and see if anything else should be moved, and close it then!