Removed unused code

include/function.inc.php

@@ -16,13 +16,6 @@ function printheader($titre){
 	require("header.inc.php");
 }
 
-function printheader2($titre){
-	if(!strlen($titre)) {
-		$titre = "Homepage";
-	}
-	require("header-jquery.inc.php");
-}
-
 function getimage() {
 	$curdir=basename(dirname($_SERVER['SCRIPT_NAME']));
 	if(empty($curdir)) {
@@ -187,11 +180,6 @@ function page($titre) {
   domenu();
   print "<div class=\"textebox\">\n";
 }
-function page2($titre) {
-  printheader2($titre);
-  domenu();
-  print "<div class=\"textebox\">\n";
-}
 
 // finpage 
 // ajoute les tags en fin de page