Seen in en.beta
Description
Details
Status | Subtype | Assigned | Task | |
---|---|---|---|---|
· · · | ||||
Resolved | Mooeypoo | T186842 Convert Special:GlobalPreferences to OOUI | ||
Resolved | PRODUCTION ERROR | MaxSem | T194229 Fatal: Class GlobalPreferences\GlobalPreferencesForm may not inherit from interface (PreferencesForm) | |
· · · |
Event Timeline
Change 432022 had a related patch set uploaded (by MaxSem; owner: MaxSem):
[operations/mediawiki-config@master] Temporarily disable GlobalPreferences in beta
Change 432022 merged by jenkins-bot:
[operations/mediawiki-config@master] Temporarily disable GlobalPreferences in beta
Change 432045 had a related patch set uploaded (by Esanders; owner: Esanders):
[mediawiki/extensions/GlobalPreferences@master] Inherit from PreferencesFormLegacy
GlobalPreferences will need to re-implement in OOUI eventually (T186842), but in the mean time it can just fall back to using PreferencesFormLegacy.
Change 432045 merged by MaxSem:
[mediawiki/extensions/GlobalPreferences@master] Inherit from PreferencesFormLegacy
Change 432165 had a related patch set uploaded (by MaxSem; owner: MaxSem):
[integration/config@master] Add GlobalPreferences to extension-gate
Change 432165 merged by jenkins-bot:
[integration/config@master] Add GlobalPreferences to extension-gate
We still need to decide upon https://gerrit.wikimedia.org/r/#/c/432213/ and any followup changes to GP it might require, but the immediate problem is resolved.