ADD_DESCR('admin', __FILE__);
// Normally we want the overview of all registered extensions
-$do = "overview";
+$do = 'overview';
$SEL = 0;
-if (REQUEST_ISSET_POST('sel')) $SEL = countPostSelection();
-if (REQUEST_ISSET_GET(('reg_ext'))) {
+// Are some extensions submitted?
+if (REQUEST_ISSET_POST('sel')) {
+ // Then count all
+ $SEL = countPostSelection();
+} // END - if
+
+if (REQUEST_ISSET_GET('reg_ext')) {
// We are about to register a new extension
$do = 'register'; $ext_id = bigintval(REQUEST_GET('reg_ext'));
// The ID comes from task management and it is - of course - *not* the extension's name!