wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-12-18 10:51:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
548 commits 13 branches 20 tags 5.2 MiB
Commit graph

3 commits

Author SHA1 Message Date
Reedy 80d1b67f19 Namespace extension 
Change-Id: I0894842014e1a73f419c90cf11c8334ac102242a
 2022-06-25 20:02:38 +00:00
libraryupgrader 1418d7115a build: Updating composer dependencies 
* mediawiki/minus-x: 0.3.2 → 1.0.0
* mediawiki/mediawiki-phan-config: 0.9.0 → 0.9.2

Change-Id: I5014cbcb67d347c840584915bb4e12c622707897
 2020-02-19 19:51:21 +00:00
Umherirrender 64aaf72d6c Move all php classes into includes folder 
Change-Id: I38c0eeeb1ee401f61bb205bd90eb4bbb21e46711
 2019-04-24 21:20:11 +02:00
Renamed from RSSData.php (Browse further)