On 10 April 2014 22:16, Quim Gil <qgil(a)wikimedia.org> wrote:
Our 3rd party MediaWiki users (the sysadmins and their
users) should not be
affected by the unstable situation around font styles. If we are going to
change their defaults, we should better do it when we are certain about the
reliability of the changes. If this certainty comes soon enough to make it
to 1.23.0, good. Otherwise, can we plan for an alternative?
*hand up* Speaking as one user, I'd be fine with the previous
situation, or with just sans-serif for the body, if we don't have an
excellent answer by then.