ManualPTHREAD_RWLOCK_DESTROY(phpman.html) - phpMan