Add ID to wiki menu for easier layout
authorJesper Kristensen <mail@jesperkristensen.dk>
Sun, 14 Aug 2011 22:49:32 +0200
changeset 295 cd8a2263bf4a24816c183136cb8da15114ec5797
parent 294 80c040af88ba488e47b891ac54bd4b9166f501ce
child 296 9d9b78a7dab46c2096a68387aa16eacf5bb070e5
push id143
push usermail@jesperkristensen.dk
push dateSun, 14 Aug 2011 20:50:52 +0000
Add ID to wiki menu for easier layout
mediawiki/theme/MCS.php
--- a/mediawiki/theme/MCS.php
+++ b/mediawiki/theme/MCS.php
@@ -163,17 +163,17 @@ if ($toc and $this->tocPos=='left') {
 if ($toc and $this->tocPos=='right') {
 ?>
 				<li class="box toc border<?php echo ' '.$this->tocStyle?>">
 					<?php $this->hackTOC($toc) ?>
 				</li>
 <?php
 }
 ?>
-				<li class="box border" <?php $this->html('userlangattributes') ?>>
+				<li id="p-views" class="box border" <?php $this->html('userlangattributes') ?>>
 					<h3><?php $this->msg('views') ?></h3>
 					<ul>
 						<?php echo $ca_normal . $ca_weak; ?>
 					</ul>
 				</li>
 				<!-- portlets -->
 				<?php 
 					$sidebar = $this->data['sidebar'];