--- admin_theme.module	2008-12-08 20:09:21.000000000 +0100
+++ admin_theme_new.module	2008-12-09 14:51:15.000000000 +0100
@@ -98,8 +98,6 @@
       $admin_theme = TRUE;
     }
   }
-
-  $admin_theme = TRUE;
   
   // some custom defined pages should get admin theme
   if (trim(variable_get('admin_theme_path', '')) != '') {