Completed
Push — master ( e5e84c...1b930b )
by Jeroen De
03:48
created
src/MediaWiki/MapsHooks.php 1 patch
Unused Use Statements   -5 removed lines patch added patch discarded remove patch
@@ -7,13 +7,8 @@
 block discarded – undo
7 7
 use ALTree;
8 8
 use Maps\Presentation\GeoJsonNewPageUi;
9 9
 use Maps\Presentation\OutputFacade;
10
-use ParserOptions;
11
-use Revision;
12 10
 use SkinTemplate;
13
-use SMW\ApplicationFactory;
14
-use SMW\DIProperty;
15 11
 use User;
16
-use WikiPage;
17 12
 
18 13
 /**
19 14
  * Static class for hooks handled by the Maps extension.
Please login to merge, or discard this patch.