/* Pagina mantenuta per la sola cronologia. Lo script non è aggiornato da anni, dà errore su varie pagine
(anche quelle su cui non dovrebbe far nulla), non cancella le revisioni come richiesto e fa casino con le checkbox.
In ogni caso, esiste il revdel da anni
*/
