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
437 commits 11 branches 20 tags 5.2 MiB
Commit graph

4 commits

Author SHA1 Message Date
peter-ovchyn 407c4aefe8 parser: Replace 'new Parser' in favour of using Parser::getFreshParser 
Bug: T244055
Change-Id: Ib883d6ca154a01dd8f0ad45bc338e0aa05dee8ac
 2020-04-01 10:59:06 +03:00
Aaron Schulz 517cb3fdfb Convert $wgMemc use to WANObjectCache 
Bug: T160813
Change-Id: I3c7c1babfbeab915b09ec0100b0b8c51882cd36a
 2020-03-16 20:44:10 +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