From 8aeabf67c87e0f87453c222021a097fb760b31b0 Mon Sep 17 00:00:00 2001 From: Kano Date: Thu, 5 Jul 2012 10:17:35 +1000 Subject: [PATCH] miner.php remove incorrect 'DATE' error message --- miner.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/miner.php b/miner.php index e0fc3985..65a82e69 100644 --- a/miner.php +++ b/miner.php @@ -1268,7 +1268,8 @@ function processcustompage($pagename, $sections, $sum) $cmds[$cmd] = 1; } else - $errors[] = "Error: unknown section '$section' in custom summary page '$pagename'"; + if ($section != 'DATE') + $errors[] = "Error: unknown section '$section' in custom summary page '$pagename'"; } $results = array();