Sono stato costretto a rinominare il metodo delete della classe Driver (che serve per cancellare un lock) in deleteLock, a causa del fatto che IE7, considerando delete una parola riservata, stabiliva che la definizione in javascript di AjaxLocking era errata. Il tutto silenziosamente.
La nuova versione è disponibile attraverso il consueto canale PEAR pear.ambrosanio.com:http://pear.ambrosanio.com/get/AJAX_Locking-0.4.2.tgz
Grazie mille a Igor Reis che mi ha segnalato che con IE7 la pagina di esempio non funzionava.
