mediawiki.less: wrap '\9' CSS hack in e() call to pacify persnickety parsers
oyejorge/less.php is an alternate LESS library for PHP that I am hoping to
use to replace lessphp (see T112035). It chokes on literal '\9' in CSS rules,
but this limitation is easy to work around via e().