con ajax stai prendendo l'output della pagina php, ricaricando la pagina in php non succede nulla, casomai dovresti rifare la richiesta ajax
quindi al caricarsi del body e ogni 10 secondi partirà la richiesta asincrona che aggiornerà #miniCodice PHP:
function aggiorna(){
AjaxRequest('menu_off.php', 'get', 'scrivimex');
setTimeout("aggiorna()", 10000);
}
function scrivimex(responso){
document.getElementById('mini').innerHTML = responso;
}
body.onload= function(){ aggiorna()}