ManualPTHREAD_RWLOCK_DESTROY(top10.html) - phpMan