wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
1350 commits 155 branches 0 tags 71 MiB
Commit graph

4 commits

Author SHA1 Message Date
Yuki Shira d4abab3932 i18n: remove namespace-dependent part from "echo-pref-tooltip-mention" 
- The mention is independent from the namespace.

Spotted by JurgenNL
https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Echo-pref-tooltip-mention/en

Change-Id: I07f828eb1769d52f4a6bf118a34bc5dfbbb313ee
 2014-07-13 21:15:44 +09:00
Alex Monk d55fbbb49b Don't show files in mention notifications 
Bug: 66983
Change-Id: I452fa29f0f70dac4c92c87f4b35d9c886b187afe
 2014-06-24 15:27:49 +01:00
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
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