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