On 2/20/08, Huji huji.huji@gmail.com wrote:
As I don't have access to a Linux machine with a svn+ssh working copy of the extensions, I would be grateful if someone else would do the renaming for me.
$ svn rename svn+ssh://werdna@svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/RandomRootPage svn+ssh://werdna@svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/Randomrootpage
Committed revision 31114.