diff options
Diffstat (limited to 'plugins/LocalFilesEditor/editarea/reg_syntax/robotstxt.js')
| -rw-r--r-- | plugins/LocalFilesEditor/editarea/reg_syntax/robotstxt.js | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/plugins/LocalFilesEditor/editarea/reg_syntax/robotstxt.js b/plugins/LocalFilesEditor/editarea/reg_syntax/robotstxt.js deleted file mode 100644 index 9b141f0a2..000000000 --- a/plugins/LocalFilesEditor/editarea/reg_syntax/robotstxt.js +++ /dev/null @@ -1,25 +0,0 @@ -editAreaLoader.load_syntax["robotstxt"] = {
- 'DISPLAY_NAME' : 'Robots txt',
- 'COMMENT_SINGLE' : {1 : '#'},
- 'COMMENT_MULTI' : {},
- 'QUOTEMARKS' : [],
- 'KEYWORD_CASE_SENSITIVE' : false,
- 'KEYWORDS' : {
- 'attributes' : ['User-agent', 'Disallow', 'Allow', 'Crawl-delay'],
- 'values' : ['*'],
- 'specials' : ['*']
- },
- 'OPERATORS' :[':'],
- 'DELIMITERS' :[],
- 'STYLES' : {
- 'COMMENTS': 'color: #AAAAAA;',
- 'QUOTESMARKS': 'color: #6381F8;',
- 'KEYWORDS' : {
- 'attributes' : 'color: #48BDDF;',
- 'values' : 'color: #2B60FF;',
- 'specials' : 'color: #FF0000;'
- },
- 'OPERATORS' : 'color: #FF00FF;',
- 'DELIMITERS' : 'color: #60CA00;'
- }
-};
|