Page MenuHomePhabricator

Switch the "Show labels box" button from CdxButton to CdxToggleButton once that's released
Closed, ResolvedPublic

Description

Just landed upstream in https://gerrit.wikimedia.org/r/c/design/codex/+/768788 but not released yet.

Event Timeline

Change 774545 had a related patch set uploaded (by Jkieserman; author: Jkieserman):

[mediawiki/extensions/WikiLambda@master] switch 'show labels' box to CdxToggleButton

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

DannyS712 added a subscriber: DannyS712.

ToggleButton addition to codex is needed for this to happen, so that is a subtask

Change 774545 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] switch 'show labels' box to CdxToggleButton

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