1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
<!DOCTYPE html>
<html id="web-developer-edit-html" lang="en">
<head>
<meta charset="utf-8">
<title>Web Developer</title>
<link href="common.css" rel="stylesheet">
</head>
<body>
<textarea id="web-developer-content" wrap="off"></textarea>
<script src="chrome://web-developer/content/common/jquery/jquery.js"></script>
<script src="chrome://web-developer/content/common/codemirror/codemirror.js"></script>
<script src="chrome://web-developer/content/common/codemirror/css.js"></script>
<script src="chrome://web-developer/content/common/codemirror/htmlmixed.js"></script>
<script src="chrome://web-developer/content/common/codemirror/javascript.js"></script>
<script src="chrome://web-developer/content/common/codemirror/searchcursor.js"></script>
<script src="chrome://web-developer/content/common/codemirror/xml.js"></script>
<script src="javascript/html/common.js"></script>
<script src="javascript/html/syntax-highlight-html.js"></script>
</body>
</html>
|
