diff options
author | Dries Buytaert <dries@buytaert.net> | 2008-07-01 20:36:40 +0000 |
---|---|---|
committer | Dries Buytaert <dries@buytaert.net> | 2008-07-01 20:36:40 +0000 |
commit | bb232c728af46441b22f071dd9cfb01d31ec69cf (patch) | |
tree | 289a4a22cd777ee24c34a6675f3bec241f533420 /includes/menu.inc | |
parent | fae9063c681b11cc48347a11b4dc0f06baffb4ce (diff) | |
download | brdo-bb232c728af46441b22f071dd9cfb01d31ec69cf.tar.gz brdo-bb232c728af46441b22f071dd9cfb01d31ec69cf.tar.bz2 |
- Patch #277073 by threexk: improve consistency of offline vs off-line and online vs on-line.
Diffstat (limited to 'includes/menu.inc')
-rw-r--r-- | includes/menu.inc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/includes/menu.inc b/includes/menu.inc index eaad81aa3..12cf90d51 100644 --- a/includes/menu.inc +++ b/includes/menu.inc @@ -2413,26 +2413,26 @@ function menu_path_is_external($path) { } /** - * Checks whether the site is off-line for maintenance. + * Checks whether the site is offline for maintenance. * * This function will log the current user out and redirect to front page * if the current user has no 'administer site configuration' permission. * * @return - * FALSE if the site is not off-line or its the login page or the user has + * FALSE if the site is not offline or its the login page or the user has * 'administer site configuration' permission. - * TRUE for anonymous users not on the login page if the site is off-line. + * TRUE for anonymous users not on the login page if the site is offline. */ function _menu_site_is_offline() { - // Check if site is set to off-line mode. + // Check if site is set to offline mode. if (variable_get('site_offline', 0)) { // Check if the user has administration privileges. if (user_access('administer site configuration')) { - // Ensure that the off-line message is displayed only once [allowing for + // Ensure that the offline message is displayed only once [allowing for // page redirects], and specifically suppress its display on the site // maintenance page. if (drupal_get_normal_path($_GET['q']) != 'admin/settings/site-maintenance') { - drupal_set_message(t('Operating in off-line mode.'), 'status', FALSE); + drupal_set_message(t('Operating in offline mode.'), 'status', FALSE); } } else { |