wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 02:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump cache version for cache pollution (cross-wiki on non-SUL wikis)

Browse source 
Bug: T135246
Change-Id: Ic01fe394829cca27ad22a37f08364566e26f646a
This commit is contained in:
Matthew Flaschen 2016-05-13 15:58:50 -04:00
parent 413206d82a
commit 9f5a71874f
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

@ -531,7 +531,7 @@ $wgDefaultUserOptions['echo-subscriptions-web-article-linked'] = false;
// Echo Configuration for EventLogging
$wgEchoConfig = array(
'version' => '1.7',
'version' => '1.8',
'eventlogging' => array(
/**
* Properties: