// Normally we want the overview of all registered extensions
$do = "overview";
-$SEL = "0";
+$SEL = 0;
if (!empty($_POST['sel'])) $SEL = SELECTION_COUNT($_POST['sel']);
if (!empty($_GET['reg_ext'])) {
// Change settings like CSS file load
if (isset($_POST['modify'])) {
// Change entries
- $cacheInstance_UPDATE = "0";
+ $cacheInstance_UPDATE = 0;
foreach ($_POST['sel'] as $id => $sel) {
// Secure ID
$id = bigintval($id);
$do = "delete";
} elseif ((isset($_POST['remove'])) && ($SEL > 0) && (!IS_DEMO())) {
// Remove extensions from DB (you have to delete all files manually!)
- $cacheInstance_UPDATE = "0";
+ $cacheInstance_UPDATE = 0;
foreach ($_POST['sel'] as $id => $active) {
// Secure ID number
$id = bigintval($id);
SQL_FREERESULT($result);
// Disable cache update by default
- $cacheInstance_UPDATE = "0";
+ $cacheInstance_UPDATE = 0;
if (!empty($subj)) {
// Extract extension's name from subject...
$ext_name = trim(substr($subj, 1, strpos($subj, ":") - 1));