From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/CategoryFinder.php | 1 - 1 file changed, 1 deletion(-) (limited to 'includes/CategoryFinder.php') diff --git a/includes/CategoryFinder.php b/includes/CategoryFinder.php index cf537e15..33de7404 100644 --- a/includes/CategoryFinder.php +++ b/includes/CategoryFinder.php @@ -185,7 +185,6 @@ class CategoryFinder { * Scans a "parent layer" of the articles/categories in $this->next */ private function scanNextLayer() { - $profiler = new ProfileSection( __METHOD__ ); # Find all parents of the article currently in $this->next $layer = array(); -- cgit v1.2.3-54-g00ecf