wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-30 18:36:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add missing class RSSHighlighter to autoload

Browse source 
Change-Id: I613ca4cda45b4f99cb9935f79091b9fd5f63ee74
This commit is contained in:
umherirrender 2015-03-21 19:15:39 +01:00
parent b6a5ed276c
commit d4d88d58b3
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
RSS.php
View file

@ -40,6 +40,7 @@ $wgExtensionMessagesFiles['RSS'] = $dir . 'RSS.i18n.php';
$wgAutoloadClasses['RSSHooks'] = $dir . 'RSSHooks.php';
$wgAutoloadClasses['RSSParser'] = $dir . 'RSSParser.php';
$wgAutoloadClasses['RSSUtils'] = $dir . 'RSSParser.php';
$wgAutoloadClasses['RSSHighlighter'] = $dir . 'RSSParser.php';
$wgAutoloadClasses['RSSData'] = $dir . 'RSSData.php';
// List tracking category on Special:TrackingCategories