Changed extension of PHP tests to .phpt