Last modified: 2014-02-28 16:05:03 UTC
The NOC configuration index at https://noc.wikimedia.org/conf/ should include extension-list (cf. https://git.wikimedia.org/blob/operations%2Fmediawiki-config.git/f6367605debd1ce67fe6530fb5af598b9b87601e/wmf-config%2Fextension-list ). Or we should figure out a better way to do the configuration index. Whichever.
Change 113899 had a related patch set uploaded by MZMcBride: Symlink in the extension-list files https://gerrit.wikimedia.org/r/113899
Change 113899 merged by jenkins-bot: Symlink in the extension-list files https://gerrit.wikimedia.org/r/113899
Assuming this is fixed by comment 2.