diff options
author | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
commit | 03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch) | |
tree | c51112223ceb9121cd595a60335eb2795215590f /js/codemirror/mode/php/index.html | |
parent | fcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff) | |
parent | 053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff) | |
download | ninja-03ca7a5ed13c25faaa9100bb666e062fd15335e6.tar.gz |
Merge branch 'pentool' into brushtool
Conflicts:
imports/codemirror/mode/scheme/scheme.js
js/tools/BrushTool.js
Diffstat (limited to 'js/codemirror/mode/php/index.html')
-rw-r--r-- | js/codemirror/mode/php/index.html | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/js/codemirror/mode/php/index.html b/js/codemirror/mode/php/index.html deleted file mode 100644 index 9e545c9b..00000000 --- a/js/codemirror/mode/php/index.html +++ /dev/null | |||
@@ -1,49 +0,0 @@ | |||
1 | <!doctype html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <title>CodeMirror 2: PHP mode</title> | ||
5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | ||
6 | <script src="../../lib/codemirror.js"></script> | ||
7 | <script src="../xml/xml.js"></script> | ||
8 | <script src="../javascript/javascript.js"></script> | ||
9 | <script src="../css/css.js"></script> | ||
10 | <script src="../clike/clike.js"></script> | ||
11 | <script src="php.js"></script> | ||
12 | <link rel="stylesheet" href="../../theme/default.css"> | ||
13 | <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style> | ||
14 | <link rel="stylesheet" href="../../css/docs.css"> | ||
15 | </head> | ||
16 | <body> | ||
17 | <h1>CodeMirror 2: PHP mode</h1> | ||
18 | |||
19 | <form><textarea id="code" name="code"> | ||
20 | <?php | ||
21 | function hello($who) { | ||
22 | return "Hello " . $who; | ||
23 | } | ||
24 | ?> | ||
25 | <p>The program says <?= hello("World") ?>.</p> | ||
26 | <script> | ||
27 | alert("And here is some JS code"); // also colored | ||
28 | </script> | ||
29 | </textarea></form> | ||
30 | |||
31 | <script> | ||
32 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), { | ||
33 | lineNumbers: true, | ||
34 | matchBrackets: true, | ||
35 | mode: "application/x-httpd-php", | ||
36 | indentUnit: 8, | ||
37 | indentWithTabs: true, | ||
38 | enterMode: "keep", | ||
39 | tabMode: "shift" | ||
40 | }); | ||
41 | </script> | ||
42 | |||
43 | <p>Simple HTML/PHP mode based on | ||
44 | the <a href="../clike/">C-like</a> mode. Depends on XML, | ||
45 | JavaScript, CSS, and C-like modes.</p> | ||
46 | |||
47 | <p><strong>MIME types defined:</strong> <code>application/x-httpd-php</code> (HTML with PHP code), <code>text/x-php</code> (plain, non-wrapped PHP code).</p> | ||
48 | </body> | ||
49 | </html> | ||