author | Volker E <volker.e@wikimedia.org> | |
Mon, 14 Aug 2017 22:30:23 +0000 (15:30 -0700) | ||
committer | Volker E <volker.e@wikimedia.org> | |
Tue, 15 Aug 2017 21:33:04 +0000 (14:33 -0700) | ||
commit | e491f22d8b1ada180b3c33f13227f8795d68ce0c | |
tree | df37a486edf5b730f34ac4af2d878be67d19a2c4 | tree | snapshot |
parent | b5ddc3a4b4d82023827681c1cc2771fc859ac01b | commit | diff |
resources/src/mediawiki.less/mediawiki.ui/variables.less | diff | blob | history | |
resources/src/mediawiki.ui/components/checkbox.less | diff | blob | history | |
resources/src/mediawiki.ui/components/images/checkbox-checked.png | [new file with mode: 0644] | blob |
resources/src/mediawiki.ui/components/images/checkbox-checked.svg | [new file with mode: 0644] | blob |
resources/src/mediawiki.ui/components/images/checked_disabled.png | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/images/checked_disabled.svg | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/images/radio_checked.png | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/images/radio_checked.svg | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/images/radio_disabled.png | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/images/radio_disabled.svg | [deleted file] | blob | history |
resources/src/mediawiki.ui/components/radio.less | diff | blob | history |