Skin:Wikimini

Wikimini is the default skin developed by and for Wikimini, "the encyclopedia for children, written by children". It's a fork of the Vector skin originally written by Cédric Daucourt and Owen McGill for Nixit informatique Sàrl.

The skin also includes the Bootstrap JS library.

The skin UI has various buttons to optionally hide or show the animated, site-specific header ("Swiffy"), increase/decrease font size or restore the default font size and to render a printable version.

This page documents a fork of the original Wikimini skin, which is very outdated and not working with MediaWiki 1.39. Note that as of February 2023, the Wikimini.org wikis are using a very outdated, unsupported version of MediaWiki.

Configuration variables

 * — Load the AddThis.com social sharing widget from AddThis.com? Defaults to.
 * — Should the search box container element have   or no ID ? Defaults to.
 * — Theoretically controls what class(es) is(/are) assigned to the (un)watch link, like in the Vector skin, but I don't think this works as it was meant to as of February 2023...

Issues/bugs/FIX ME

 * Sometimes the Swiffy header fails to load and a JS syntax (?!) error is logged on the console; however, this is never reproducible in ResourceLoader's debug mode ( in the URL), making it very tricky to debug
 * Changing the  file to load unminified Bootstrap JS didn't change this, for better or for worse
 * The Swiffy header and specifically how to customize it should be documented somehow, because right now it's very Wikimini-specific
 * The skin isn't translatable via TWN
 * A lot of the    in   could and should either be deleted or consolidated into one because as of MediaWiki 1.39, there is only the   super-module provided by MW core
 * Various URL constructions are still extremely fragile and otherwise non-ideal
 * The "Valid HTML/CSS/etc." buttons have French alt texts which should be i18n-able
 * Overall the LESS/CSS of the skin is a mess as there are lots of parts which were copy-pasted from Vector but aren't actually used; these should be cleaned up
 * The "random image of the day" feature should be more configurable and toggle-able, right now it's unconditionally shown despite that it requires a certain folder containing the images to exist on the server
 * Talk to Valerio Bozzolan about the future of all this (I pinged him in on 10 February 2023)