JcDenis
/
pacKman
1
0
Fork 0
Code Issues Pull Requests Projects Releases 6 Wiki Activity

fix namespace on disabled plugin

2.28
Jean-Christian Paul Denis 2023-01-17 00:01:58 +01:00
parent 3a70196636
commit 4463766a78
Signed by: JcDenis
GPG Key ID: 1B5B8C5B90B6C951
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
_uninstall.php
View File

@ -13,6 +13,12 @@
declare(strict_types=1); declare(strict_types=1);
$uninstall = implode('\\', ['Dotclear', 'Plugin', basename(__DIR__), 'Uninstall']); $uninstall = implode('\\', ['Dotclear', 'Plugin', basename(__DIR__), 'Uninstall']);
// cope with disabled plugin
if (!class_exists($uninstall)) {
require implode(DIRECTORY_SEPARATOR, [__DIR__, 'inc', 'Uninstall.php']);
}
if ($uninstall::init()) { if ($uninstall::init()) {
$uninstall::process($this); $uninstall::process($this);
} }