if (isGetRequestElementSet('reg_ext')) {
// We are about to register a new extension
$do = 'register'; $ext_id = bigintval(getRequestElement('reg_ext'));
// The id comes from task management and it is - of course - *not* the extension's name!
if (isGetRequestElementSet('reg_ext')) {
// We are about to register a new extension
$do = 'register'; $ext_id = bigintval(getRequestElement('reg_ext'));
// The id comes from task management and it is - of course - *not* the extension's name!