Extension:RPED/RPEDConfig.php

RPEDConfig.php

<?php
 
if (!defined('MEDIAWIKI')) {
        echo <<<EOT
                To install my extension, put the following line in LocalSettings.php:
                require( "extensions/RPED/RPEDConfig.php" );
EOT;
    exit( 1 );
}
 
global $wgServer;
$localStyle='color: green'; // Local wiki links are green
$interwikiStyle='color: orange'; // Interwiki links are orange
$remoteStyle=''; // Remote links default to blue
 
if ($wgServer=='http://rped.org' || isset($goAheadConfig) && $goAheadConfig==true)
{
        $yourHost='localhost'; // Database access
        $yourUsername='rpedorg_tisane'; // Database access
        $yourPassword='xxx'; // Database access
        $RPED_page_title_db='rpedorg_page3'; // Select this database
        $centralServerURL='http://rped.org/extensions/RPED/RPEDCentralServer.php?'; // Subscribe at this url
        $yourCentralServerPassword='2718281828'; // People use this password to get your subscription data
        $remoteCentralServerPassword='password'; // Use this password to get all the subscription data
} else {
        $yourHost='localhost'; // Database access
        $yourUsername='wikiuser2'; // Database access
        $yourPassword='password'; // Database access
        $RPED_page_title_db='page_title_db'; // Select this database
        $centralServerURL='http://rped.org/extensions/RPED/RPEDCentralServer.php?'; // Subscribe at this url
        $yourCentralServerPassword='password'; // People use this password to get your subscription data
        $remoteCentralServerPassword='2718281828'; // Use this password to get all the subscription data
 
}