quick update to use user preferences on mediawiki 1.16+