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

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

Volker_E created this task.Nov 22 2018, 12:57 AM

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

gerritbot added a project: Patch-For-Review.Nov 22 2018, 12:59 AM

Volker_E added a project: Readers-Web-Backlog.Nov 22 2018, 1:01 AM

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

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

ReleaseTaggerBot added a project: MW-1.33-notes (1.33.0-wmf.6; 2018-11-27).Nov 22 2018, 2:00 AM

phuedx moved this task from Incoming to Tracking on the Readers-Web-Backlog board.Nov 22 2018, 2:58 PM

phuedx edited projects, added Readers-Web-Backlog (Tracking); removed Readers-Web-Backlog.

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.

Volker_E moved this task from Unsorted to Color consistency on the UI-Standardization board.Feb 21 2019, 9:25 PM

Remove deprecated color values from mediawiki.ui variablesClosed, ResolvedPublicActions

Description

Event Timeline

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