Merge "Add space between number and unit of measure"

[mediawiki.git] / redirect.phtml

<?php
// stub file for compatibility with older versions
include_once('./redirect.php');