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

4 commits

Author SHA1 Message Date
Translation updater bot ef8c884cea Localisation updates from https://translatewiki.net. 
Change-Id: Ifa61874e0ffc809b543d458c89fadcd8c2bdfdff
 2014-04-01 19:49:54 +00:00
Translation updater bot 30c183e394 Localisation updates from https://translatewiki.net. 
Change-Id: I383a1ecfb98439188c9cd7e1e3ae8a32ceba81d8
 2014-03-31 20:16:35 +00:00
PiRSquared17 aec87de507 Follow-up I7d4bb9062. Register tracking category used. 
This allows rss-tracking-category to appear in the newly added
[[Special:TrackingCategories]].

Bug: 63286
Change-Id: I9d37c37f14b29dfb4377a13d4d799f93a7c7d22e
 2014-03-31 16:55:01 +00:00
Siebrand Mazeland 9a224d07c9 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I3b3e5462cfcaa0496a0b01d491dae2f92573b293
 2014-03-28 21:45:51 +01:00