mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS
synced 2024-11-25 08:06:11 +00:00
64 lines
1.9 KiB
PHP
64 lines
1.9 KiB
PHP
<?php
|
|
/**
|
|
* RSS-Feed MediaWiki extension
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
* @version 1.8
|
|
* @author mutante, Daniel Kinzler, Rdb, Mafs, Alxndr, Chris Reigrut, K001
|
|
* @author Kellan Elliott-McCrea <kellan@protest.net> -- author of MagpieRSS
|
|
* @author Jeroen De Dauw
|
|
* @author Jack Phoenix <jack@countervandalism.net>
|
|
* @copyright © Kellan Elliott-McCrea <kellan@protest.net>
|
|
* @copyright © mutante, Daniel Kinzler, Rdb, Mafs, Alxndr, Chris Reigrut, K001
|
|
* @link http://www.mediawiki.org/wiki/Extension:RSS Documentation
|
|
*/
|
|
|
|
if ( !defined( 'MEDIAWIKI' ) ) {
|
|
die( "This is not a valid entry point.\n" );
|
|
}
|
|
|
|
// Extension credits that will show up on Special:Version
|
|
$wgExtensionCredits['parserhook'][] = array(
|
|
'name' => 'RSS feed',
|
|
'author' => array(
|
|
'Kellan Elliott-McCrea',
|
|
'mutante',
|
|
'Daniel Kinzler',
|
|
'Rdb',
|
|
'Mafs',
|
|
'Alxndr',
|
|
'Wikinaut',
|
|
'Chris Reigrut',
|
|
'K001',
|
|
'Jack Phoenix',
|
|
'Jeroen De Dauw',
|
|
'Mark A. Hershberger'
|
|
),
|
|
'version' => '1.8',
|
|
'url' => 'http://www.mediawiki.org/wiki/Extension:RSS',
|
|
'descriptionmsg' => 'rss-desc',
|
|
);
|
|
|
|
// Internationalization file and autoloadable classes
|
|
$dir = dirname( __FILE__ ) . '/';
|
|
$wgExtensionMessagesFiles['RSS'] = $dir . 'RSS.i18n.php';
|
|
$wgAutoloadClasses['RSSHooks'] = $dir . 'RSSHooks.php';
|
|
$wgAutoloadClasses['RSSParser'] = $dir . 'RSSParser.php';
|
|
$wgAutoloadClasses['RSSData'] = $dir . 'RSSData.php';
|
|
|
|
$wgHooks['ParserFirstCallInit'][] = 'RSSHooks::parserInit';
|
|
|
|
$wgRSSCacheAge = 3600; // one hour
|
|
$wgRSSCacheCompare = false; // Check cached content, if available, against remote.
|
|
// $wgRSSCacheCompare should be set to false or a timeout
|
|
// (less than $wgRSSCacheAge) after which a comparison will
|
|
// be made.
|
|
$wgRSSFetchTimeout = 5; // 5 second timeout
|
|
|
|
// Agent to use for fetching feeds
|
|
$wgRSSUserAgent = 'MediaWikiRSS/0.01 (+http://www.mediawiki.org/wiki/Extension:RSS) / MediaWiki RSS extension';
|
|
|
|
// Proxy server to use for fetching feeds
|
|
$wgRSSProxy = false;
|