diff options
author | Dries Buytaert <dries@buytaert.net> | 2006-08-07 14:25:37 +0000 |
---|---|---|
committer | Dries Buytaert <dries@buytaert.net> | 2006-08-07 14:25:37 +0000 |
commit | bda6fa2b715199e4f9b25b3bfcd926e10d33a89c (patch) | |
tree | cd215cdea2550a48b4afc87fa77b9cda5f11bce7 /modules/system/system.module | |
parent | b7647e6d38bc65edfd8f719b68a88bfbb8798a59 (diff) | |
download | brdo-bda6fa2b715199e4f9b25b3bfcd926e10d33a89c.tar.gz brdo-bda6fa2b715199e4f9b25b3bfcd926e10d33a89c.tar.bz2 |
- Patch #76753 by Moshe: fatal eror during logout with page cache enabled.
Diffstat (limited to 'modules/system/system.module')
-rw-r--r-- | modules/system/system.module | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/modules/system/system.module b/modules/system/system.module index ce2b15767..a0a9759e3 100644 --- a/modules/system/system.module +++ b/modules/system/system.module @@ -235,6 +235,15 @@ function system_menu($may_cache) { 'description' => t('Enable or disable clean URLs for your site.'), 'callback' => 'system_clean_url_settings'); } + else { + /** + * Use the administrative theme if the user is looking at a page in the admin/* path. + */ + if (arg(0) == 'admin') { + global $custom_theme; + $custom_theme = variable_get('admin_theme', 'bluemarine'); + } + } return $items; } @@ -364,18 +373,6 @@ function system_admin_page_submit($form_id, $form_values) { } } -/** - * Implementation of hook_init. This hook will set the theme to the - * administrative theme if the user is looking at a page in the - * admin/* tree. - */ -function system_init() { - if (arg(0) == 'admin') { - global $custom_theme; - $custom_theme = variable_get('admin_theme', 'bluemarine'); - } -} - /* * Returns a fieldset containing the theme select form. * |