event - event php extension bug fix
doc - misc change