Followup to r60697: add a comment to js2stopgap.js pointing out that we patched jQuer...

[mediawiki.git] / redirect.php5

<?php require './redirect.php';