On 04/05/13 20:57, Krinkle wrote:
PS: The public mediawiki-config.git only dates back to 24 Feb 2012. Before that date the information was in a non-public svn repository inside the wmf-production cluster.
Rather than using mediawiki-config, you may have more luck using
http://web.archive.org/web/*/http://en.wikipedia.org/wiki/Special:Version