Exemple #1
0
    ?>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery.min.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery-ui.custom.min.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery.dataTables.min.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery.dataTables.columnFilter.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery.form.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery.validate.min.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/jquery-te-1.4.0.min.js"></script>
<script type="text/javascript" language="javascript" src="../../_INCLUDE/js/icheck.min.js"></script>

<script type="text/javascript" language="javascript" src="js/commun.js"></script>

<?php 
    //------------------------------------------------------------------------------ MAIN
    // html_header ("utf-8","table_eval.css","jquery-te-1.4.0.css");
    html_header_2("utf-8", "table_eval.css", "jquery-te-1.4.0.css", $title);
    //html_header ("utf-8","","");
    echo "<body>";
    echo "<div id=\"page_consult\" class=\"page_consult\">";
    /*------------------------------------------------------------------------------ Titre*/
    /*Premier bandeau*/
    echo "<div id=\"header2\">";
    echo "<div style=\"float:left;\">";
    echo "<button id=\"home-button\">" . $lang[$lang_select]['Retour_menu'] . "</button>";
    echo "</div>";
    echo "<font size=5>" . $lang[$lang_select]['titre'] . " - Rubrique {$titre}</font>";
    echo "</div>";
    /*Deuxième bandeau : les onglets*/
    echo "<div id=\"tabs\" style=\" min-height:800px;\">";
    echo "<ul>";
    foreach ($onglet["id"] as $key => $val) {
Exemple #2
0
              window.location.replace ('index.php');
		});
	
    $("#return-button")
        .button({
            text: true
        })                
        .click(function() {
              window.location.replace ('install.php');
		});
	
});
</script> 
<?php 
ignore_user_abort(true);
html_header_2("utf-8", "table_eval.css", "jquery-te-1.4.0.css", "Installation de Codex");
/*-------------------------------------------------------------------------------------*/
/*En-tête------------------------------------------------------------------------------*/
echo "<body>";
echo "<div id=\"header2\">";
echo "<font size=5> Installation de l'outil Codex </font>";
echo "</div>";
/*-------------------------------------------------------------------------------------*/
/*Variables----------------------------------------------------------------------------*/
$action = isset($_POST['action']) ? $_POST['action'] : "";
//variable permettant de définir le case en cours
$dir = scandir("../");
//récupération du nom des rubriques
/*suppression des rubriques non concernées*/
$less = array('bugs', 'home', 'module_admin', 'commun', 'index.php', '.', '..');
foreach ($less as $element) {