If the page doesn't exist and the user can't create it, omit the "edit"/"view source"

[mediawiki.git] / config / index.php5

<?php

define('MW_INSTALL_PHP5_EXT', 1);
require './index.php';

?>