<?php
        switch ($_SERVER["SERVER_NAME"])
        {
                case "wiki1":
                        require_once "LocalSettings_wiki1.php";
                        break;

                case "wiki2":
                        require_once "LocalSettings_wiki2.php";
                        break;

                case "wiki3":
                        require_once "LocalSettings_wiki3.php";
                        break;

                case "wiki4":
                        require_once "LocalSettings_wiki4.php";
                        break;

                default:
                        echo "This wiki is not available. Check configuration.";
                        exit(0);
        }

require_once("$IP/extensions/FCKeditor/FCKeditor.php");
$wgDefaultUserOptions['riched_start_disabled'] = 0;

$wgSearchType = 'SphinxMWSearch';
require_once( "$IP/extensions/SphinxSearch/SphinxSearch.php" );