# HG changeset patch # User Dan # Date 1242222555 14400 # Node ID 50f8eb4f53e179b0afeee1505d76a828aafaf095 # Parent bff25c6113ae734a84a0de2111387459dfa54a60 Added cache for installed themes diff -r bff25c6113ae -r 50f8eb4f53e1 plugins/admin/ThemeManager.php --- a/plugins/admin/ThemeManager.php Wed May 13 09:48:59 2009 -0400 +++ b/plugins/admin/ThemeManager.php Wed May 13 09:49:15 2009 -0400 @@ -16,6 +16,8 @@ { global $db, $session, $paths, $template, $plugins; // Common objects global $lang; + global $cache; + if ( $session->auth_level < USER_LEVEL_ADMIN || $session->user_level < USER_LEVEL_ADMIN ) { $login_link = makeUrlNS('Special', 'Login/' . $paths->nslist['Special'] . 'Administration', 'level=' . USER_LEVEL_ADMIN, true); @@ -161,6 +163,8 @@ { global $db, $session, $paths, $template, $plugins; // Common objects global $lang; + global $cache; + if ( $session->auth_level < USER_LEVEL_ADMIN || $session->user_level < USER_LEVEL_ADMIN ) { $login_link = makeUrlNS('Special', 'Login/' . $paths->nslist['Special'] . 'Administration', 'level=' . USER_LEVEL_ADMIN, true); @@ -329,6 +333,8 @@ setConfig('theme_default', $theme_data['theme_id']); } + $cache->purge('themes'); + echo '