1 files changed, 0 insertions, 51 deletions
diff --git a/plugins/LocalFilesEditor/editarea/reg_syntax/html.js b/plugins/LocalFilesEditor/editarea/reg_syntax/html.js
deleted file mode 100644
index 66490b171..000000000
--- a/plugins/LocalFilesEditor/editarea/reg_syntax/html.js
+++ /dev/null
@@ -1,51 +0,0 @@
-/*
-* last update: 2006-08-24
-*/
-
-editAreaLoader.load_syntax["html"] = {
-	'DISPLAY_NAME' : 'HTML'
-	,'COMMENT_SINGLE' : {}
-	,'COMMENT_MULTI' : {'<!--' : '-->'}
-	,'QUOTEMARKS' : {1: "'", 2: '"'}
-	,'KEYWORD_CASE_SENSITIVE' : false
-	,'KEYWORDS' : {
-	}
-	,'OPERATORS' :[
-	]
-	,'DELIMITERS' :[
-	]
-	,'REGEXPS' : {
-		'doctype' : {
-			'search' : '()(<!DOCTYPE[^>]*>)()'
-			,'class' : 'doctype'
-			,'modifiers' : ''
-			,'execute' : 'before' // before or after
-		}
-		,'tags' : {
-			'search' : '(<)(/?[a-z][^ \r\n\t>]*)([^>]*>)'
-			,'class' : 'tags'
-			,'modifiers' : 'gi'
-			,'execute' : 'before' // before or after
-		}
-		,'attributes' : {
-			'search' : '( |\n|\r|\t)([^ \r\n\t=]+)(=)'
-			,'class' : 'attributes'
-			,'modifiers' : 'g'
-			,'execute' : 'before' // before or after
-		}
-	}
-	,'STYLES' : {
-		'COMMENTS': 'color: #AAAAAA;'
-		,'QUOTESMARKS': 'color: #6381F8;'
-		,'KEYWORDS' : {
-			}
-		,'OPERATORS' : 'color: #E775F0;'
-		,'DELIMITERS' : ''
-		,'REGEXPS' : {
-			'attributes': 'color: #B1AC41;'
-			,'tags': 'color: #E62253;'
-			,'doctype': 'color: #8DCFB5;'
-			,'test': 'color: #00FF00;'
-		}	
-	}		
-};