Completed
Push — master ( 1b5b38...3501bb )
by Jeroen De
06:28
created
formats/media/MediaPlayer.php 1 patch
Unused Use Statements   -1 removed lines patch added patch discarded remove patch
@@ -6,7 +6,6 @@
 block discarded – undo
6 6
 use FormatJson;
7 7
 use Html;
8 8
 use MediaWiki\MediaWikiServices;
9
-use Skin;
10 9
 use SMW\ResultPrinter;
11 10
 use SMWDataItem;
12 11
 use SMWDataValue;
Please login to merge, or discard this patch.