dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edee83c) | patch
Remove unused mediawiki.ui 'checked' icons
authorVolker E <volker.e@wikimedia.org>
Wed, 25 Oct 2017 07:59:22 +0000 (00:59 -0700)
committerVolker E <volker.e@wikimedia.org>
Wed, 25 Oct 2017 07:59:22 +0000 (00:59 -0700)
commit302a938d5f963090dbb399b08d6c42dd18e362e7
tree000b354af377736973edcb99f77a9c522ca27576tree | snapshot
parentedee83ca4266611b0b4dcee79ffa8c55a94db262commit | diff
Remove unused mediawiki.ui 'checked' icons

Removing unused mediawiki.ui 'checked' image, which was in use before
the switch to the unified checkbox with blue and white appearance.

Change-Id: I4ba88583a2ed59b44a1f7bbffe823468af8e3874
resources/src/mediawiki.ui/components/images/checked.png [deleted file] blob | history
resources/src/mediawiki.ui/components/images/checked.svg [deleted file] blob | history
Wiklou, le Wiki du Wiklou