Don't include the old ExtensionMessages.php when you're building a new one. Otherwise...
[mediawiki.git] / index.php5
blob58f3233707e5a4d451f527bae1f81cb564c39199
1 <?php require './index.php';