MediaWiki:Common.css: Difference between revisions

MediaWiki:Common.css (view source)

342 bytes removed , 6 January 2016

no edit summary

24,070

edits

@@ Line 301: / Line 301: @@
 	color: white;
 }
-<?php global $wgUser; if( $wgUser->isAnon() ) { ?>
-      <style type="text/css">
-        #ca-viewsource { display: none !important; }
-      </style>
-    <?php } ?>
-<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?>
-      <style type="text/css">
-        #ca-viewsource { display: none !important; }
-      </style>
-    <?php } ?>