[MediaWiki-commits] [Gerrit] Make extension optional in getRealmSpecificFilename - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Make extension optional in getRealmSpecificFilename .. Make extension optional in getRealmSpecificFilename E.g. for the "langlist" file. Change-Id: I22fe
[MediaWiki-commits] [Gerrit] Make extension optional in getRealmSpecificFilename - change (operations/mediawiki-config)
Alex Monk has uploaded a new change for review. https://gerrit.wikimedia.org/r/239754 Change subject: Make extension optional in getRealmSpecificFilename .. Make extension optional in getRealmSpecificFilename E.g. for the "la