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