mediawiki/pivot
1
0
Fork 0
mirror of https://github.com/Hutchy68/pivot.git synced 2024-11-22 02:19:03 +01:00
Code Issues Releases Wiki Activity

Page indicators addition

Browse Source
This commit is contained in:
Tom Hutchison 2017-04-18 09:24:36 -04:00
parent 55a962eb66
commit 77d331956d
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Pivot.skin.php
View File

@ -180,6 +180,9 @@ class pivotTemplate extends BaseTemplate {
<div class="row"> <div class="row">
<div class="large-12 columns"> <div class="large-12 columns">
<!-- Output page indicators -->
<?php echo $this->getIndicators(); ?>
<!-- If user is logged in output echo location -->
<?php if ($wgUser->isLoggedIn()): ?> <?php if ($wgUser->isLoggedIn()): ?>
<div id="echo-notifications"> <div id="echo-notifications">
<div id="echo-notifications-alerts"></div> <div id="echo-notifications-alerts"></div>

11
assets/stylesheets/pivot.css
View File

@ -1156,3 +1156,14 @@ ul[class*="block-grid"] {
.oo-ui-barToolGroup > .oo-ui-toolGroup-tools > .oo-ui-tool.oo-ui-widget-disabled > .oo-ui-tool-link { .oo-ui-barToolGroup > .oo-ui-toolGroup-tools > .oo-ui-tool.oo-ui-widget-disabled > .oo-ui-tool-link {
display: inline !important; display: inline !important;
} }
.mw-indicators {
float: right;
line-height: 1.6;
font-size: 0.875em;
position: relative;
margin: -.5em .5em 0;
max-height: 25px;
width: auto;
z-index: 1;
}