From a3edd7bdf934ada5547b292d8a94d5d7b2b4a2fd Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Fri, 26 Oct 2012 18:04:47 +0100 Subject: [PATCH] Upgrade to CodeMirror 2.35 --- lib/settings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/settings.php b/lib/settings.php index 7d3dc8b..34365ba 100644 --- a/lib/settings.php +++ b/lib/settings.php @@ -39,7 +39,7 @@ include($settingsFile); // Add ICEcoder settings to beginning of $ICEcoder array $ICEcoder = array( "versionNo" => "1.0.0", - "codeMirrorDir" => "CodeMirror-2.34" + "codeMirrorDir" => "CodeMirror-2.35" )+$ICEcoder; $onLoadExtras = "";