Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  d88f0fec167d23cd1467eb667b157de82c3f935d

Allow local prefs to show up on global prefs page

Causes weird issues with skin/language randomly changing.

Change-Id: I87f98cc07b552d654989cd8e00991a1dc8c926b7
Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  640b5283daa37f59f269fbb3f6c3a2021d6e21ce

Rename GlobalPreferences::resetUserSettings

Clarify it is specifically for global prefs

Change-Id: I4a865c0fcdcd2dca134400ec66f74fee9dd6199d