Add files via upload

This commit is contained in:
Fernando Méndez
2021-07-02 18:08:16 +02:00
committed by GitHub
parent 0e56e727bc
commit 2b06f5758e
80 changed files with 13912 additions and 0 deletions

View File

@ -0,0 +1,11 @@
<?php
include('../config.php');
function reRol(){
if(isset($_SESSION["lastRol"])){
$_SESSION["rol"] = $_SESSION["lastRol"];
unset($_SESSION["lastRol"]);
}
}
reRol();
header("Location: /");
?>