Mercurial > hg > extraction-interface

annotate develop/views/maintemplate_local.php @ 23:a879f6b9d166

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modification for select-move-taglist: tags don't appear to be duplicated in other topics.
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Wed, 25 Feb 2015 10:59:45 +0100
parents
children b55f5d3564c4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <html>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 <head>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <title></title>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
4
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 <!--
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <script src="../../js/jquery-1.10.2.min.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 <script src="../../js/taggingtext.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 -->
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
9
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 <script src="../../js/jquery-1.10.2.min.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 <script src="../../js/taggingtext.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
12
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
13
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
14 <!-- Bootstrap -->
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 <!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
16 <!--
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
17 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
18 <link href="../../css/bootstrap.min.css" rel="stylesheet">
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 <script src="../../js/bootstrap.min.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
20 <script src="../../js/bootstrap.js"></script>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
21 -->
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
22
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23 </head>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
24 <body>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
25
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
26 </body>
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
27
a879f6b9d166 modification for select-move-taglist: tags don't appear to be duplicated in other topics.
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
28 </html>