Difference between revisions of "MediaWiki:Common.css"
| Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ | /* CSS placed here will be applied to all skins */ | ||
| + | |||
| + | <!-- 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 } ?> | ||
Revision as of 01:23, 28 November 2012
/* CSS placed here will be applied to all skins */
<!-- 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 } ?>
