wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 09:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

* Fix cache check

Browse source
This commit is contained in:
Niklas Laxström 2008-03-22 20:52:41 +00:00
parent fb6bdb9e6e
commit 61b48c5bf5
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.php
View file

@ -77,7 +77,7 @@ function wfLoadGadgetsStructured( $forceNewText = NULL ) {
if ( $forceNewText == NULL ) {
//cached?
$gadgets = $wgMemc->get( $key );
if ( $gadgets !== NULL ) return $gadgets;
if ( is_string($gadgets) ) return $gadgets;
$g = wfMsgForContentNoTrans( "gadgets-definition" );
if ( wfEmptyMsg( "gadgets-definition", $g ) ) {