Extension:RPED/RPEDConfig.php

From MediaWiki.org
Jump to: navigation, search

RPEDConfig.php[edit | edit source]

<?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
 
}