/* CSS placed here will be applied to all skins */
<!-- No [view historysource] tab for users who can not edit -->
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?>
<style type="text/css">
#ca-history viewsource { display: none !important; } </style>
<?php } ?>