MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ |
|||
<!-- No [view source] tab for users who can not edit --> |
<!-- No [view source] tab for users who can not edit --> |
||
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?> |
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?> |
||
Revision as of 01:04, 27 July 2012
<!-- No [view source] tab for users who can not edit -->
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?>
<style type="text/css">
#ca-viewsource { display: none !important; }
</style>
<?php } ?>