+// In Opera browsers the menu is being displayed double: addMenuDescription('admin', __FILE__);
+
+// Is sql_patches not yet installed?
+if (!isExtensionInstalled('sql_patches')) {
+ // Output warning
+ loadTemplate('admin_settings_saved', false, getMessage('ADMIN_WARNING_SQL_PATCHES_MISSING'));
+} // END - if