Using stylize.php from https://github.com/wikimedia/mediawiki-tools-code-utils to autostylize