Start to improve HTMLDiff.php localization. For the time being, I recommend that...
[mediawiki.git] / index.php5
blob58f3233707e5a4d451f527bae1f81cb564c39199
1 <?php require './index.php';