MediaWiki:Common.css: Unterschied zwischen den Versionen
Aus Dokumentation
| Zeile 6: | Zeile 6: | ||
height:auto; | height:auto; | ||
} | } | ||
| + | <!-- No [view source] tab for users who can not edit --> | ||
| + | <?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?> | ||
| + | <style type="text/css"> | ||
| + | #ca-viewsource { display: none !important; } | ||
| + | </style> | ||
| + | <?php } ?> | ||
Version vom 21. Juli 2020, 15:45 Uhr
/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
body.page-Example_Page li#ca-viewsource { display:none!important; }
.res-img img {
max-width:100%;
height:auto;
}
<!-- No [view source] tab for users who can not edit -->
<?php global $wgUser; if( !$wgUser->isAllowed('edit') ) { ?>
<style type="text/css">
#ca-viewsource { display: none !important; }
</style>
<?php } ?>