miner.php remove incorrect 'DATE' error message

13 years ago · 8aeabf67c8
1 changed files with 2 additions and 1 deletions
--- a/miner.php
+++ b/miner.php
@ -1268,6 +1268,7 @@ function processcustompage($pagename, $sections, $sum)
				@@ -1268,6 +1268,7 @@ function processcustompage($pagename, $sections, $sum)
 			$cmds[$cmd] = 1;
 	}
 	else
+		if ($section != 'DATE')
 			$errors[] = "Error: unknown section '$section' in custom summary page '$pagename'";
 }