Remove unused devel/source page callback. Theme developer can implement its own if...

diff --git a/devel.module b/devel.module
index 9a32551..470b70b 100644 (file)
--- a/devel.module
+++ b/devel.module
@@ -64,14 +64,6 @@ function devel_menu() {
     'file' => 'devel.pages.inc',
     'menu_name' => 'devel',
   );
-  $items['devel/source'] = array(
-    'title' => 'Display the PHP code of any file in your Drupal installation',
-    'page callback' => 'devel_display_source',
-    'access arguments' => array('display source code'),
-    'type' => MENU_CALLBACK,
-    'file' => 'devel.pages.inc',
-    'menu_name' => 'devel',
-  );
   $items['devel/menu/reset'] = array(
     'title' => 'Rebuild menus',
     'description' => 'Rebuild menu based on hook_menu() and revert any custom changes. All menu items return to their default settings.',

diff --git a/devel.pages.inc b/devel.pages.inc
index f475b39..080f4c7 100644 (file)
--- a/devel.pages.inc
+++ b/devel.pages.inc
@@ -2,33 +2,6 @@
 //$Id$
 
 /**
- * Page callback to display syntax hilighted source code
- *
- * note: the path for this function is received via $_GET['path']
- *  example http://www.example.com/devel/source?file=modules/node/node.module
- *
- * @param $standalone
- *   Set to FALSE to place the code inside a Drupal page. Otherwise code displays on its own.
- */
-function devel_display_source($standalone = TRUE) {
-  $path = $_GET['file'];
-  // take out the nasties
-  $path = str_replace('../', '', $path);
-  $output = devel_highlight_file($path, $standalone);
-  if ($output) {
-    if ($standalone) {
-      print $output;
-      drupal_exit();
-    }
-    return $output;
-  }
-  else {
-    drupal_set_message(t('Invalid file path'), 'error');
-    drupal_not_found();
-  }
-}
-
-/**
  * Return PHP highlighted file
  *
  * @param $path