[svn r13924] Reverted from SVN commit 12459 allowing tool_name to be empty in display_header(). This is giving useless freedom to the developer, a tool name should always be given when using display_header() - Closes FS#1281

main/inc/lib/display.lib.php

@@ -475,11 +475,10 @@ class Display {
 	}
 	/**
 	 * Display the page header
-	 * @param string $tool_name The name of the page (will be showed in the
+	 * @param string The name of the page (will be showed in the page title)
-	 * page title)
+	 * @param string Optional help file name
-	 * @param string $help
 	 */
-	function display_header($tool_name='', $help = NULL)
+	function display_header($tool_name, $help = NULL)
 	{
 		$nameTools = $tool_name;
 		global $_plugins;