Docmentation of PHP's bug #68541 (define the mock before the first call)