Page MenuHomePhabricator

Remove deprecated color values from mediawiki.ui variables
Closed, ResolvedPublic

Description

mediawiki.ui variables still contain deprecated color vars. They got deprecated in Iaef72470c59665682f as part of v1.30.
CodeSearch doesn't show results for any of those any more, exemplified @colorGray13.

Let's remove them.

Event Timeline

Restricted Application added a project: UI-Standardization. · View Herald TranscriptNov 22 2018, 12:57 AM
Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 475255 had a related patch set uploaded (by VolkerE; owner: VolkerE):
[mediawiki/core@master] mediawiki.ui: Remove deprecated color variables

https://gerrit.wikimedia.org/r/475255

Change 475255 merged by jenkins-bot:
[mediawiki/core@master] mediawiki.ui: Remove deprecated color variables

https://gerrit.wikimedia.org/r/475255

Volker_E closed this task as Resolved.Nov 27 2018, 4:33 AM
Volker_E triaged this task as Normal priority.
Volker_E moved this task from Backlog to Done on the UI-Standardization-Kanban board.
Volker_E removed a project: Patch-For-Review.
Volker_E removed a subscriber: gerritbot.