From fd3f0ac99fd9825684e60863730eb5f53a6860cf Mon Sep 17 00:00:00 2001
From: ryan <ryan@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Wed, 7 Oct 2009 15:22:23 +0000
Subject: [PATCH] Disable codepress.  Maintained replacement needed.

git-svn-id: http://svn.automattic.com/wordpress/trunk@12005 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-admin/includes/template.php | 5 -----
 wp-admin/plugin-editor.php     | 3 ---
 wp-admin/theme-editor.php      | 6 +-----
 3 files changed, 1 insertion(+), 13 deletions(-)

diff --git a/wp-admin/includes/template.php b/wp-admin/includes/template.php
index 9b313f07f1..e44d1380d4 100644
--- a/wp-admin/includes/template.php
+++ b/wp-admin/includes/template.php
@@ -3506,11 +3506,6 @@ function screen_meta($screen) {
 				$_wp_contextual_help[$screen] = $help;
 			}
 			break;
-		case 'theme-editor':
-		case 'plugin-editor':
-			$settings = '<p><a id="codepress-on" href="' . $screen . '.php?codepress=on">' . __('Enable syntax highlighting') . '</a><a id="codepress-off" href="' . $screen . '.php?codepress=off">' . __('Disable syntax highlighting') . "</a></p>\n";
-			$show_screen = true;
-			break;
 		case 'widgets':
 			if ( !isset($_wp_contextual_help['widgets']) ) {
 				$help = widgets_help();
diff --git a/wp-admin/plugin-editor.php b/wp-admin/plugin-editor.php
index 349516f008..f9bc30ac6a 100644
--- a/wp-admin/plugin-editor.php
+++ b/wp-admin/plugin-editor.php
@@ -81,9 +81,6 @@ default:
 		exit;
 	}
 
-	if ( use_codepress() )
-		wp_enqueue_script( 'codepress' );
-
 	// List of allowable extensions
 	$editable_extensions = array('php', 'txt', 'text', 'js', 'css', 'html', 'htm', 'xml', 'inc', 'include');
 	$editable_extensions = (array) apply_filters('editable_extensions', $editable_extensions);
diff --git a/wp-admin/theme-editor.php b/wp-admin/theme-editor.php
index 58f2f117df..a78f16eb0c 100644
--- a/wp-admin/theme-editor.php
+++ b/wp-admin/theme-editor.php
@@ -25,8 +25,7 @@ if (empty($theme)) {
 	$theme = get_current_theme();
 } else {
 	$theme = stripslashes($theme);
- }
-
+}
 
 if ( ! isset($themes[$theme]) )
 	wp_die(__('The requested theme does not exist.'));
@@ -75,9 +74,6 @@ break;
 
 default:
 
-	if ( use_codepress() )
-		wp_enqueue_script( 'codepress' );
-
 	require_once('admin-header.php');
 
 	update_recently_edited($file);