- // Errors?
- if (!ifFatalErrorsDetected()) {
- // Extension was found and successfully registered
- redirectToUrl('modules.php?module=admin&what=extensions&registered=' . getExtensionId($ext_name));
- } else {
- // Errors detected!
- loadTemplate('admin_settings_saved', false, getMaskedMessage('ADMIN_EXTENSION_NOT_REGISTERED', $ext_name));
- }
-