It is also used by phpunit. I added it because the tests failed. But I removed it now.