9513098641797ce5f459dbc1de5a54c29b0ec1fb	not-for-merge	branch '1.0' of https://github.com/sebastianbergmann/php-timer
173b3ae7c65f145f5a570d410e405c24ee294b16	not-for-merge	branch 'master' of https://github.com/sebastianbergmann/php-timer
