wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-12 09:23:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

1.7 release

Browse source
This commit is contained in:
Jeroen De Dauw 2010-07-23 14:17:46 +00:00
parent 871730f7f6
commit 9fc917aca8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RSS.php
View file

@ -14,7 +14,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
die( "This is not a valid entry point.\n" );
}
define( 'RSS_VERSION', '1.7 alpha' );
define( 'RSS_VERSION', '1.7' );
$wgExtensionCredits['parserhook'][] = array(
'path' => __FILE__,