Re:Wikipedia is getting a new look
by bawolff on Wednesday September 23, 2020 @03:26PM
(#24570916)
You can make any preference default by adjust $wgDefaultUserOptions
[ Parent
| on HN ]
There are no comments on this comment yet.