Updated mediawiki/extensions
Project: mediawiki/extensions/EducationProgram  2505397d143cbb775f0e194e2d28dc382eeb8f71

Improve settings system

* No longer forces global state usage
* Default settings are defined in standard MW fashion rather than in a method in the settings class (which clearly violates SRP)

Change-Id: I84a4ba1ff170a9408655fe167d5d765dc76607d2