Be more concise for PHP tools