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
479 commits 283 branches 0 tags 5.2 MiB
Commit graph

2 commits

Author SHA1 Message Date
libraryupgrader a6af4d7772 build: Updating mediawiki/mediawiki-phan-config to 0.10.4 
Change-Id: I16514a7488f6013794d8c1ff49679530af53258b
 2020-11-20 14:26:48 +00:00
Umherirrender 64aaf72d6c Move all php classes into includes folder 
Change-Id: I38c0eeeb1ee401f61bb205bd90eb4bbb21e46711
 2019-04-24 21:20:11 +02:00
Renamed from RSSHooks.php (Browse further)