Mercurial > hg > extraction-interface

annotate develop/views/maintemplate_local.php @ 43:807d3bb33da7 extractapp

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
config lg server url, without port
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Thu, 12 Mar 2015 17:58:09 +0100
parents 893ed33c2bd4
children b3ca5d2b4d3f
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
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <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
7 <script src="../../js/jquery-ui.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 <script src="../../js/taggingtext.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
9
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 <!-- Bootstrap -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 <!--
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
13 <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
14 <link href="../../css/bootstrap.min.css" rel="stylesheet">
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 <script src="../../js/bootstrap.min.js"></script>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
16 <script src="../../js/bootstrap.js"></script>
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
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 </head>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
20 <body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
21
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
22 </body>
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23
893ed33c2bd4 config for localgazetteer-dev
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
24 </html>