Fixing the phpunit plugin bug caused in #458