Init.php: miSettings still not available after loading Settings.php