Completed
Pull Request — master (#2893)
by
unknown
05:08 queued 01:36
created
lib/plugins/extension/helper/gui.php 1 patch
Unused Use Statements   -2 removed lines patch added patch discarded remove patch
@@ -6,8 +6,6 @@
 block discarded – undo
6 6
  * @author  Andreas Gohr <[email protected]>
7 7
  */
8 8
 
9
-use dokuwiki\Extension\PluginController;
10
-
11 9
 /**
12 10
  * Class helper_plugin_extension_list takes care of the overall GUI
13 11
  */
Please login to merge, or discard this patch.