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)
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


No differences found