wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 02:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
848 commits 26 branches 21 tags 10 MiB
Commit graph

5 commits

Author SHA1 Message Date
Translation updater bot 7533e5a4bf Localisation updates from https://translatewiki.net. 
Change-Id: I8733688e5d7c2f6475c8e5eac492dfeb253e91d7
 2018-01-16 22:49:36 +01:00
Translation updater bot b1efb8cf22 Localisation updates from https://translatewiki.net. 
Change-Id: Ie7a742fb73cbdc9f0554bca5ddae7b4d42330fe0
 2017-12-31 09:46:55 +01:00
Translation updater bot 6685d7bb8c Localisation updates from https://translatewiki.net. 
Change-Id: I457b7d42827dc18e8f4dc9e1300a753ec41f64a8
 2017-08-14 09:30:47 +02:00
Translation updater bot 0f97a13392 Localisation updates from https://translatewiki.net. 
Change-Id: Ia182da6dcbcf4183d0c5338a58d5411c5145dd0e
 2014-04-16 18:14:29 +00:00
Siebrand Mazeland bc302ec277 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I040f2542944ca978ab5f603e6a96fdf2eb89fe20
 2014-03-27 11:59:35 +01:00