(In continuation of r28242 by brion): Removing unused messages from messages.inc...
[mediawiki.git] / index.php5
blob85236494a6f1c57469b06c6f33510de65dc7dd78
1 <?php require './index.php'; ?>