wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump Schema:Echo to oldid=7731316

Browse source 
This adds "other" to the notificationGroup enum. This was already bumped
in wmf-config, but not in the extension itself.

Change-Id: If67754cfc40c004cebbf93d8b0e7d221d6620e61
This commit is contained in:
Kunal Mehta 2015-12-08 23:02:09 -08:00
parent 84fb2e5a83
commit 7e72ac4dac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Echo.php
View file

@ -468,7 +468,7 @@ $wgEchoConfig = array(
*/
'Echo' => array(
'enabled' => false,
'revision' => 7572295,
'revision' => 7731316,
'client' => false,
),
'EchoMail' => array(