static public function location($url) : void
Cette fonction utilitaire permet simplement de rediriger le navigateur vers une autre page.
<?php
require_once('../classes.php');
// vérification des droits d'accès
if (...) {
// non autorisé, redirection vers la page principale du site
htmlDocument::location('/index.php');
}