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