From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Fri, 15 Aug 2008 01:29:47 +0200 Subject: Update auf 1.13.0 --- maintenance/benchmarkPurge.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'maintenance/benchmarkPurge.php') diff --git a/maintenance/benchmarkPurge.php b/maintenance/benchmarkPurge.php index 0ceb8445..76302a01 100644 --- a/maintenance/benchmarkPurge.php +++ b/maintenance/benchmarkPurge.php @@ -1,7 +1,9 @@