Last modified: 2013-05-27 09:13:42 UTC
As I understand it, thanks to bug 35663, eventually a URL like https://doc.wikimedia.org/mediawiki-core/master/php/html/ will be a "better" link for documentation than https://svn.wikimedia.org/doc/ When that's the case, the cleanup tasks include: * Retire whatever job updates svn.wikimedia.org/doc * Redirect svn.wikimedia.doc/(.*) URLs to http://doc.wikimedia.org/mediawiki-core/master/php/html/$1 * Replace link on svn.wikimedia.org root page. * Update templates such as https://www.mediawiki.org/wiki/Template:MW_file * ...
I don't know who fixed it, but it works now. The root and individual pages (e.g. https://svn.wikimedia.org/doc/classArticle.html) both redirect correctly.