<?php
// Redirection vers le nouveau nom de domaine
$newDomain = "http://site.enstp.edu.dz"; // Remplacez "nouveaudomaine.com" par le nom de domaine de destination

// Effectuer la redirection
header("Location: $newDomain");
exit();
?>