wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-12-02 19:36:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
565 commits 11 branches 20 tags 5.2 MiB
Commit graph

2 commits

Author SHA1 Message Date
Umherirrender a7c9a664b8 Use namespaced classes 
Done automatically via script

Change-Id: I960cc93c19639202cdb63c5b0b00bfc468abb37e
 2024-01-05 21:23:30 +01:00
Reedy 80d1b67f19 Namespace extension 
Change-Id: I0894842014e1a73f419c90cf11c8334ac102242a
 2022-06-25 20:02:38 +00:00
Renamed from includes/RSSUtils.php (Browse further)