Server/Wiki: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
|||
Zeile 34: | Zeile 34: | ||
: <code>ee LocalSettings.php</code> | : <code>ee LocalSettings.php</code> | ||
<pre></pre> | <pre></pre> | ||
<pre>$ | <pre>$wgFavicon = "$wgStylePath/common/images/favicon.png";</pre> | ||
<pre></pre> | <pre></pre> | ||
Version vom 27. April 2015, 12:04 Uhr
MediaWiki
Logo angepasst
- Grundlage war http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/logo/image_thumb
- ergänzende manuelle Anpassung zu http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki_logo
cd /usr/local/www/mediawiki/skins/common/images/
fetch http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki-logo
mv mediawiki-logo logo.png
cd /usr/local/www/mediawiki/
ee LocalSettings.php
$wgLogo = "$wgStylePath/common/images/logo.png";
favicon angepasst
cd /usr/local/www/mediawiki/skins/common/images/
fetch https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Glider-small.svg/16px-Glider-small.svg.png
mv 16px-Glider-small.svg.png favicon.png
cd /usr/local/www/mediawiki/
ee LocalSettings.php
$wgFavicon = "$wgStylePath/common/images/favicon.png";