Minor fix: Remove DOJO library (60Mo) replaced by link to Google CDN (online DOJO library)

git-svn-id: https://semanticscuttle.svn.sourceforge.net/svnroot/semanticscuttle/trunk@159 b3834d28-1941-0410-a4f8-b48e95affb8f

1 files changed, 0 insertions, 101 deletions

diff --git a/includes/js/dojox/highlight/languages/pygments/html.js b/includes/js/dojox/highlight/languages/pygments/html.js
deleted file mode 100644
index e0e7475..0000000
--- a/includes/js/dojox/highlight/languages/pygments/html.js
+++ /dev/null
@@ -1,101 +0,0 @@
-if(!dojo._hasResource["dojox.highlight.languages.pygments.html"]){ //_hasResource checks added by build. Do not use _hasResource directly in your code.
-dojo._hasResource["dojox.highlight.languages.pygments.html"] = true;
-dojo.provide("dojox.highlight.languages.pygments.html");
-
-dojo.require("dojox.highlight._base");
-dojo.require("dojox.highlight.languages.pygments._html");
-
-(function(){
-	var dh = dojox.highlight, dhl = dh.languages, tags = [],
-		ht = dhl.pygments._html.tags;
-	
-	for(var key in ht){
-		tags.push(key);
-	}
-	tags = "\\b(" + tags.join("|") + ")\\b";
-	
-	dhl.html = {
-		case_insensitive: true,
-		defaultMode: {
-			contains: [
-				"name entity",
-				"comment", "comment preproc",
-				"_script", "_style", "_tag"
-			]
-		},
-		modes: [
-			// comments
-			{
-				className: "comment",
-				begin: "<!--", end: "-->"
-			},
-			{
-				className: "comment preproc",
-				begin: "\\<\\!\\[CDATA\\[", end: "\\]\\]\\>"
-			},
-			{
-				className: "comment preproc",
-				begin: "\\<\\!", end: "\\>"
-			},
-
-			// strings
-			{
-				className: "string",
-				begin: "'", end: "'",
-				illegal: "\\n",
-				relevance: 0
-			},
-			{
-				className: "string",
-				begin: '"', 
-				end: '"',
-				illegal: "\\n",
-				relevance: 0
-			},
-			
-			// names
-			{
-				className: "name entity",
-				begin: "\\&[a-z]+;", end: "^"
-			},
-			{
-				className: "name tag",
-				begin: tags, end: "^",
-				relevance: 5
-			},
-			{
-				className: "name attribute",
-				begin: "\\b[a-z0-9_\\:\\-]+\\s*=", end: "^",
-				relevance: 0
-			},
-			
-			{
-				className: "_script",
-				begin: "\\<script\\b", end: "\\</script\\>",
-				relevance: 5
-			},
-			{
-				className: "_style",
-				begin: "\\<style\\b", end: "\\</style\\>",
-				relevance: 5
-			},
-			
-			{
-				className: "_tag",
-				begin: "\\<(?!/)", end: "\\>",
-				contains: ["name tag", "name attribute", "string", "_value"]
-			},
-			{
-				className: "_tag",
-				begin: "\\</", end: "\\>",
-				contains: ["name tag"]
-			},
-			{
-				className: "_value",
-				begin: "[^\\s\\>]+", end: "^"
-			}
-		]
-	};
-})();
-
-}