From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- maintenance/benchmarks/bench_if_switch.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'maintenance/benchmarks/bench_if_switch.php') diff --git a/maintenance/benchmarks/bench_if_switch.php b/maintenance/benchmarks/bench_if_switch.php index 11c00b3c..dafce050 100644 --- a/maintenance/benchmarks/bench_if_switch.php +++ b/maintenance/benchmarks/bench_if_switch.php @@ -18,8 +18,8 @@ * http://www.gnu.org/copyleft/gpl.html * * @file - * @ingroup Maintenance - * @author Platonides + * @ingroup Benchmark + * @author Platonides */ require_once( dirname( __FILE__ ) . '/Benchmarker.php' ); -- cgit v1.2.3-54-g00ecf