use php for fuzzing, to avoid innerHTML reload problems