wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-16 12:42:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use wfMemcKey instead of manually building the memcache key.

Browse source 
Not only is this more elegant, the former had collisions on wikis with different prefixes.
This commit is contained in:
Platonides 2010-10-10 14:11:25 +00:00
parent 0d681c82ab
commit 19904b5851
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CategoryTreeFunctions.php
View file

@ -298,7 +298,7 @@ class CategoryTree {
* load CategoryTreeFunctions.php on demand.
*/
function ajax( $category, $depth = 1 ) {
global $wgDBname, $wgUser;
global $wgUser;
$title = self::makeTitle( $category );
if ( ! $title ) {
@ -317,7 +317,7 @@ class CategoryTree {
'page_title' => $dbkey,
), __METHOD__ );
$mckey = "$wgDBname:categorytree(" . $this->getOptionsAsCacheKey( $depth ) . "):$dbkey:$configkey";
$mckey = wfMemcKey( "categorytree(" . $this->getOptionsAsCacheKey( $depth ) . ")", $dbkey, $configkey );
$response = new AjaxResponse();