Index: devel.module
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/devel/devel.module,v
retrieving revision 1.258.2.54
diff -u -p -r1.258.2.54 devel.module
--- devel.module	3 Jun 2009 03:56:44 -0000	1.258.2.54
+++ devel.module	14 Jul 2009 16:08:12 -0000
@@ -497,7 +497,7 @@ function backtrace_error_handler($errno,
  * Implementation of hook_perm().
  */
 function devel_perm() {
-  return array('access devel information', 'execute php code', 'switch users', 'display source code');
+  return array('access devel information', 'execute php code', 'switch users', 'display source code', 'access theme information');
 }
 
 /**
Index: devel_themer.module
===================================================================
RCS file: /cvs/drupal-contrib/contributions/modules/devel/devel_themer.module,v
retrieving revision 1.32.2.24
diff -u -p -r1.32.2.24 devel_themer.module
--- devel_themer.module	11 Jun 2009 16:48:26 -0000	1.32.2.24
+++ devel_themer.module	14 Jul 2009 16:08:12 -0000
@@ -18,20 +18,20 @@ function devel_themer_menu() {
     'title' => 'Devel Themer Enable',
     'page callback' => 'devel_themer_toggle',
     'page arguments' => array(1),
-    'access arguments' => array('access devel information'),
+    'access arguments' => array('access theme information'),
     'type' => MENU_CALLBACK,
   );
   $items['devel_themer/disable'] = array(
     'title' => 'Theme Development Enable',
     'page callback' => 'devel_themer_toggle',
     'page arguments' => array(0),
-    'access arguments' => array('access devel information'),
+    'access arguments' => array('access theme information'),
     'type' => MENU_CALLBACK,
   );
   $items['devel_themer/variables'] = array(
     'title' => 'Theme Development AJAX variables',
     'page callback' => 'devel_themer_ajax_variables',
-    'access arguments' => array('access devel information'),
+    'access arguments' => array('access theme information'),
     'type' => MENU_CALLBACK,
   );
   return $items;
@@ -91,7 +91,7 @@ function devel_themer_admin_settings() {
 
 
 function devel_themer_init() {
-  if (user_access('access devel information')) {
+  if (user_access('access theme information')) {
     $path = drupal_get_path('module', 'devel_themer');
     // we inject our HTML after page has loaded we have to add this manually.
     if (has_krumo()) {
@@ -231,7 +231,7 @@ function devel_themer_catch_function() {
   $time = timer_stop($timer_name);
 
   $skip_calls = array('hidden', 'form_element', 'placeholder');
-  if (!empty($return) && !is_array($return) && !is_object($return) && user_access('access devel information')) {
+  if (!empty($return) && !is_array($return) && !is_object($return) && user_access('access theme information')) {
     list($prefix, $suffix) = devel_theme_call_marker($hook, $counter, 'func');
     $start_return = substr($return, 0, 31);
     $start_prefix = substr($prefix, 0, 31);