wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-04 20:28:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
6940 commits 14 branches 19 tags 77 MiB
Commit graph

256 commits

Author SHA1 Message Date
Kunal Mehta e4f97802db Split user rights changes into their own category 
This will allow users to disable them if they wish to.
By default, both web and email are enabled for all users, which
is the current default.

This also fixes a bug in the EventLogging portion where user rights
changes would be logged with a user id of -1, instead of the
actual user.

Bug: 55337
Change-Id: I026b9392b085e295fbcd375095c9aed682fc29a2
 2014-06-15 18:39:23 -07:00
Translation updater bot def7b9726d Localisation updates from https://translatewiki.net. 
Change-Id: Id132300e082ca9fbccc4d6132bf51d3ec628e4d3
 2014-05-08 20:47:22 +00:00
Translation updater bot 5293f6aee0 Localisation updates from https://translatewiki.net. 
Change-Id: I518622f669a626fb13cca1afb4f57978391d009d
 2014-05-04 20:07:02 +00:00
Translation updater bot 0839b31287 Localisation updates from https://translatewiki.net. 
Change-Id: I6a0d966b1d78b72418fbfde4aa5de08062378377
 2014-04-16 15:34:15 +00:00
Translation updater bot 81267391f4 Localisation updates from https://translatewiki.net. 
Change-Id: Ieaa320cf35ea18b7471a23feaedb94cc655101fa
 2014-03-28 19:26:43 +00:00
Siebrand Mazeland 0730ff8d67 Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I45c23439d25b081d932ff4354fd3308122e5b186
 2014-03-26 15:22:57 +01:00