wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Gadgets: add class version to Memcached key. This will help in avoid problems like we had with switches back and forth between 1.16 and 1.17 versions of this extension.

Browse source
This commit is contained in:
Max Semenik 2011-04-02 15:36:59 +00:00
parent d720a2340f
commit 5c03dc8ff7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets_body.php
View file

@ -407,7 +407,7 @@ class Gadget {
if ( $gadgets !== null && $forceNewText === null ) return $gadgets;
wfProfileIn( __METHOD__ );
$key = wfMemcKey( 'gadgets-definition' );
$key = wfMemcKey( 'gadgets-definition', self::GADGET_CLASS_VERSION );
if ( $forceNewText === null ) {
//cached?