diff options
Diffstat (limited to 'inc/Extension/PluginInterface.php')
| -rw-r--r-- | inc/Extension/PluginInterface.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/inc/Extension/PluginInterface.php b/inc/Extension/PluginInterface.php index f2dbe8626..b5ded25ee 100644 --- a/inc/Extension/PluginInterface.php +++ b/inc/Extension/PluginInterface.php @@ -157,6 +157,3 @@ interface PluginInterface */ public function isSingleton(); } - - - |