MaPTHREAD_MUTEXATTR_SETROBUST(phpman.html) - phpMan