wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-24 15:54:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

beautifying the tracking category name

Browse source
This commit is contained in:
Thomas Gries 2012-03-09 21:03:19 +00:00
parent 6d69f88741
commit 1b388985ef
Notes: Thomas Gries 2012-03-09 21:03:19 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/113524
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.i18n.php
View file

@ -14,7 +14,7 @@ $messages = array();
$messages['en'] = array(
'rss-desc' => 'Displays RSS feeds on MediaWiki pages in a standard or in user-definable formats using template pages',
'rss-tracking-category' => 'RSS',
'rss-tracking-category' => 'Pages with RSS feeds',
'rss-error' => 'Failed to load RSS feed from $1: $2',
'rss-empty' => 'Failed to load RSS feed from $1!',
'rss-fetch-nourl' => 'Fetch called without a URL!',