} // END - if
// Add description as navigation point
-// In Opera browsers the menu is being displayed double: addMenuDescription('admin', __FILE__);
+// In Opera browsers the menu is being displayed double: addYouAreHereLink('admin', __FILE__);
// Is sql_patches not yet installed?
if (!isExtensionInstalled('sql_patches')) {