diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2023-09-02 14:42:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-02 14:42:51 +0200 |
| commit | 5ff5424d8c81c7123d8656a787af2ff85b3dec21 (patch) | |
| tree | 322929ee01d892bb3c927e7fe1238369c647f820 /inc/Extension/PluginInterface.php | |
| parent | 0613df3287b82a98b1e97cf86ed9d4c8fbd16f1c (diff) | |
| parent | 91560755291852b8302767d454183a7662666f7e (diff) | |
| download | dokuwiki-5ff5424d8c81c7123d8656a787af2ff85b3dec21.tar.gz dokuwiki-5ff5424d8c81c7123d8656a787af2ff85b3dec21.zip | |
Merge pull request #4045 from dokuwiki/autofix
Use Rector to autofix code smell
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(); } - - - |