[MediaWiki-commits] [Gerrit] Make extension optional in getRealmSpecificFilename - change (operations/mediawiki-config)

2015-09-23 Thread jenkins-bot (Code Review)
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)

2015-09-20 Thread Alex Monk (Code Review)
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