RCFilters: Removing unused images
authorVolker E <volker.e@wikimedia.org>
Wed, 14 Nov 2018 03:23:59 +0000 (19:23 -0800)
committerVolker E <volker.e@wikimedia.org>
Wed, 14 Nov 2018 03:23:59 +0000 (19:23 -0800)
commit09eddf047d4c2b5b813d2e326b2d0eb719688ffb
tree42c1d396412746c8ac4a0ca24e6a7dd10fe6bc9e
parent7a3eb1f3a6a33c2358f91f90ff91193c1cfb8d94
RCFilters: Removing unused images

Those images were replaced by their direct OOUI originals.

Change-Id: Ia53d5204366e69a76f31c17f52e63f349511592c
resources/src/mediawiki.rcfilters/images/clip.svg [deleted file]
resources/src/mediawiki.rcfilters/images/pending.gif [deleted file]
resources/src/mediawiki.rcfilters/images/pushPin.svg [deleted file]
resources/src/mediawiki.rcfilters/images/unClip.svg [deleted file]