Provide pthreads extension stub (IDE PHP Doc autocompletion)