summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-01-27 17:41:13 +0100
committerPatrick Simianer <p@simianer.de>2016-01-27 17:41:13 +0100
commit72d31f649a36a46e0715ec77be54fbffc3fac292 (patch)
tree07f516ff99e5f929158a5500c8db0e794f8af684
parent9067e14a969ec04a87f205214dff8b441e4243fd (diff)
include jquery, jquery.tablesorter and raphaeljs
-rw-r--r--index.php2
-rw-r--r--interface.php8
2 files changed, 3 insertions, 7 deletions
diff --git a/index.php b/index.php
index 7ef8562..db83137 100644
--- a/index.php
+++ b/index.php
@@ -2,7 +2,7 @@
<head>
<meta charset="utf-8" />
<title>Post-Editing Interface</title>
- <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js" charset="utf-8"></script>
+ <script src="js/jquery.min.js" charset="utf-8"></script>
<link rel="stylesheet" type="text/css" href="static/main.css" />
</head>
diff --git a/interface.php b/interface.php
index a459b15..4c8bf0f 100644
--- a/interface.php
+++ b/interface.php
@@ -3,16 +3,12 @@
<meta charset="utf-8" />
<title>Post-Editing Interface (Session: #<?php echo $_GET["key"]; ?>)</title>
<link rel="stylesheet" type="text/css" href="static/main.css" />
- <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js" charset="utf-8"></script>
+ <script src="js/jquery.min.js" charset="utf-8"></script>
<script src="js/common.js" charset="utf-8"></script>
<script src="js/lfpe.js" charset="utf-8"></script>
- <script src="https://raw.githubusercontent.com/DmitryBaranovskiy/raphael/v2.1.2/raphael-min.js" type="text/javascript" charset="utf-8"></script>
-<!--
- <script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>
--->
+ <script src="js/raphael-min.js" type="text/javascript" charset="utf-8"></script>
<script src="js/derivation_editor/raphael.inline_text_editing.js" charset="utf-8"></script>
<script src="js/derivation_editor/derivation-editor.js" charset="utf-8"></script>
-
</head>
<body>