Code source du fichier voirsource.php

<?php
    // constantes numériques
    require ("constantes.php");

    // fonctions d'affichage de portions de pages HTML
    require ("acces_page.php");

    // affichage du code source d'un fichier
    require ("affsource.php");

    // génération du menu en colonne de gauche
    require ("genmenusrc.php");



    // récupérer le chemin d'accès au fichier dont on doit afficher le contenu
    if (isset ($_GET ['page']))
        $fichier = $_GET ['page'];

    // récupérer le numéro du menu à afficher
    if (isset ($_GET ['menu']))
        $menu = $_GET ['menu'];

    // modèle de page html
    $ficpage = DIR_PAGEDOC."/voirsource.html";

    // si la page cherchée n'existe pas
    if (! file_exists ($fichier))
        // choisir la page d'erreur en remplacement
        $ficpage = DIR_PAGEDOC."/manque_page.html";

    // ouvrir le fichier html
    $descfic = fopen ($ficpage, "r");

    // si l'ouverture s'est bien passée
    if ($descfic)
    {
        // recopier le début de l'entête html en mettant à jour le titre
        copmaj ($descfic, "XXXFICHIER", $fichier);

        // recopier la suite de l'entête html en remplaçant noindex par index
        copmaj ($descfic, "noindex,", "index,");

        // recopier la suite du fichier html en mettant à jour le titre de page
        copmaj ($descfic, "XXXFICHIER", $fichier);

        // copie la suite du fichier html jusqu'à l'endroit destiné au code source
        copie_jusque_chaine ($descfic, "XXXSOURCE");

        // afficher le code source du fichier à visualiser
        affsource ($fichier);

        // copie la suite du fichier html jusqu'à la section du menu
        copie_jusque_chaine ($descfic, "XXXMENU");

        // générer le menu
        genmenusrc ($fichier, $menu);

        // copier la fin de la page html
        copie_jusque_fin ($descfic);

        // terminé avec le fichier html
        fclose ($descfic);
    }
    // sinon message d'erreur
    else
        echo "Page ".basename ($ficpage)." manquante";
?>