Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  21f80cc29a490648a961f5637f8414dd0e7f3250

Use new core 'PreferencesFormPreSave' hook

No longer requires a custom patch for 1.23+ wikis

Change-Id: If4bab6780f8ef3fbabff2943ae41d472056128c7
Depends-On: Ibd8331c39afdde39b688d78f3faade2883f0c997