* (bug 13130) Moved edit token and autosummary fields above edit tools to
[mediawiki.git] / index.php5
blob58f3233707e5a4d451f527bae1f81cb564c39199
1 <?php require './index.php';