Make the --filter
option shorter for PHPUnit
#1548
Merged
--filter
option shorter for PHPUnit
#1548