beim wiki (mediawiki) die zeitgäße variable fürs logo verwenden #130

New Issue

vater · 2023-11-30T07:22:26+01:00

vater commented

2023-11-30 07:22:26 +01:00

$wgLogo wurde vor jahren durch $wgLogos ersetzt.
im übrigen kam ich dazu, da wir kein favicon haben und ich wegen $wgFavicon nachschaute. (dort könnte vielleicht - ähnlich wie beim logo - gleich das favicon "extern" (von der website) bezogen werden.)
vermutlich ist allen klar: die bewältigung der aufgabe ist arg unkritisch (, aber ich wollte sie vermerkt haben).

[$wgLogo](https://www.mediawiki.org/wiki/Manual:$wgLogo) wurde vor jahren durch [$wgLogos](https://www.mediawiki.org/wiki/Manual:$wgLogos) ersetzt. im übrigen kam ich dazu, da wir kein favicon haben und ich wegen [$wgFavicon](https://www.mediawiki.org/wiki/Manual:$wgFavicon) nachschaute. (dort könnte vielleicht - ähnlich wie beim logo - gleich [das favicon "extern" (von der website)](https://c3d2.de/favicon.ico) bezogen werden.) vermutlich ist allen klar: die bewältigung der aufgabe ist arg unkritisch (, aber ich wollte sie vermerkt haben).

sandro commented

2023-12-01 20:27:54 +01:00

$wgLogo wurde vor jahren durch $wgLogos ersetzt.

Und in typischer PHP fashion sind auch dort gleich 3 deprecated fields und Migration tips scheint es auch nicht zu geben.

Wir probieren das und wenn es nicht geht kommt wieder das alte hin, bis es entfernt wird.

> $wgLogo wurde vor jahren durch $wgLogos ersetzt. Und in typischer PHP fashion sind auch dort gleich 3 deprecated fields und Migration tips scheint es auch nicht zu geben. Wir probieren das und wenn es nicht geht kommt wieder das alte hin, bis es entfernt wird.

sandro referenced this issue from a commit

2023-12-01 20:27:59 +01:00

mediawiki: use wgLogos, add wgFavicon

sandro closed this issue

2023-12-01 20:27:59 +01:00

Sign in to join this conversation.