Difference between revisions of "MediaWiki:Common.css"
| Line 1: | Line 1: | ||
| − | #ca-history { display: none !important; } | + | <!-- No [history] tab for users who can not edit --> |
| + | <?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?> | ||
| + | <style type="text/css"> | ||
| + | #ca-history { display: none !important; } | ||
| + | </style> | ||
| + | <?php } ?> | ||
Revision as of 10:53, 15 August 2017
<!-- No [history] tab for users who can not edit -->
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?>
<style type="text/css">
#ca-history { display: none !important; }
</style>
<?php } ?>
