FIx syntax in php unit