Mercurial > hg > extraction-interface

annotate develop/views/maintemplate_local.php @ 46:b3ca5d2b4d3f extractapp

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bug fix: edit and save regex. But a jquery issue in Chrome
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 16 Mar 2015 15:49:39 +0100
parents 893ed33c2bd4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <html>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 <head>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <title></title>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
4
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 <script src="../../js/jquery-1.10.2.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <script src="../../js/jquery-ui.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 <script src="../../js/taggingtext.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
8
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 <!-- Bootstrap -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 <!--
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
13 <link href="../../css/bootstrap.min.css" rel="stylesheet">
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
14 <script src="../../js/bootstrap.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 <script src="../../js/bootstrap.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
16 -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
17
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
18 </head>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 <body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
20
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
21 </body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
22
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23 </html>