wmde/WikimediaBadges — pull request #13 by legoktm (2014-09-18 15:58:28+00:00)
Title: Move $wgMesssageDirs outside of the extension function

The script that looks for $wgMessageDirs on the WMF cluster doesn't call extension functions,
so consequently messages aren't loaded.