con ajax stai prendendo l'output della pagina php, ricaricando la pagina in php non succede nulla, casomai dovresti rifare la richiesta ajax

Codice PHP:

function aggiorna(){
    
AjaxRequest('menu_off.php''get''scrivimex'); 
    
setTimeout("aggiorna()"10000); 
}


function 
scrivimex(responso){     
    
document.getElementById('mini').innerHTML responso


body.onload= function(){ aggiorna()} 
quindi al caricarsi del body e ogni 10 secondi partirà la richiesta asincrona che aggiornerà #mini