wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-19 09:42:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
847 commits 26 branches 21 tags 11 MiB
Commit graph

2 commits

Author SHA1 Message Date
Siebrand Mazeland 1a6130668d Update indentation to use tabs 
Change-Id: I62afdc0dfb339646a96c13fae2446a87f4ba8df9
 2015-10-13 08:45:51 +02: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