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.
Version: wmf-deployment
Severity: normal
URL: https://noc.wikimedia.org/conf/