Extension:Wiki2LaTeX/Documentation/Extensions to Mediawiki