This commit is contained in:
Jean-Christian Paul Denis 2022-12-20 20:36:40 +01:00
parent e176ff703f
commit 7a2145d2e2
Signed by: JcDenis
GPG Key ID: 1B5B8C5B90B6C951
3 changed files with 8 additions and 6 deletions

View File

@ -21,7 +21,6 @@ use dcPage;
/* clearbricks ns */
use form;
use http;
use path;
/* php ns */
use Exception;

View File

@ -172,7 +172,7 @@ class Manage
# Delete
} elseif ($action == 'delete') {
$del_success= false;
$del_success = false;
foreach ($_POST['modules'] as $root => $id) {
if (!file_exists($root) || !files::isDeletable($root)) {
dcPage::addWarningNotice(sprintf(__('Undeletable file "%s"', $root)));

View File

@ -24,6 +24,9 @@ use form;
use html;
use path;
/* php */
use Exception;
class Utils
{
public static function is_configured(string $repo, string $file_a, string $file_b): bool