MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
<?php global $wgUser; if( |
<?php global $wgUser; if( !$wgUser->isLoggedIn() ) { ?> |
||
<style type="text/css"> |
<style type="text/css"> |
||
#ca-viewsource { display: none !important; } |
#ca-viewsource { display: none !important; } |
||
Latest revision as of 01:14, 27 July 2012
<?php global $wgUser; if( !$wgUser->isLoggedIn() ) { ?>
<style type="text/css">
#ca-viewsource { display: none !important; }
</style>
<?php } ?>