Mercurial > hg > extraction-interface

changeset 120:71b611a676c3 extractapp

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include maintemplate.php
author Calvin Yeh <cyeh@mpiwg-berlin.mpg.de>
date Thu, 28 Sep 2017 17:48:35 +0200
parents eebfc2d7e935
children 21e89eca0b84
files views/Extractapp/ConfigTagsInTopic.php
diffstat 1 files changed, 5 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/views/Extractapp/ConfigTagsInTopic.php	Thu Sep 28 17:47:58 2017 +0200
+++ b/views/Extractapp/ConfigTagsInTopic.php	Thu Sep 28 17:48:35 2017 +0200
@@ -17,7 +17,7 @@
  * along with Extraction-interface.  If not, see <http://www.gnu.org/licenses/>.
 */
 
-/*! \file 
+/*! \file
 * This is a view for ConfigTagsInTopic.
 * It shows tags in the current topic, and the other tags that are in our database but not in this topic.
 * User can add/remove the tags in/out of this topic.
@@ -36,6 +36,7 @@
 <html>
 <head>
 <title></title>
+<?php include 'views/maintemplate.php'; ?>
 </head>
 
 <body>
@@ -113,7 +114,7 @@
 <div class="container-fluid" style="margin-left:10%; margin-right:10%">
 		<form name="config" autocomplete='off' action="Javascript:checkTopic(document.config.InTopic)">
 			<h3>Topic: <?php echo $topic_name['name_en'];?> (<?php echo $topic_name['name_ch'];?>, <?php echo $topic_name['name_pinyin'];?>) </h3>
-			
+
 			<table class="table">
 				<thead>
 					<tr>
@@ -126,7 +127,7 @@
 				<tr>
 					<td>
 						<select name="InTopic" size="<?php echo (count($tag_others)+count($tag_intopic))*0.8; ?>" class="form-control" multiple>
-							<?php 
+							<?php
 								foreach ($tag_intopic as $taglistValue) {
 									echo "<option value='".$taglistValue['id']."'>".$taglistValue['name']." (".$taglistValue['tag'].") "."</option>";
 								}
@@ -140,7 +141,7 @@
 			        </td>
 					<td >
 						<select name="Others" size="<?php echo (count($tag_others)+count($tag_intopic))*0.8; ?>" class="form-control" multiple>
-							<?php 
+							<?php
 								foreach ($tag_others as $taglistValue) {
 									echo "<option value='".$taglistValue['id']."'>".$taglistValue['name']." (".$taglistValue['tag'].") "."</option>";
 								}