Makes document title element editable
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1291467
