Explicitly define file extension parsed by PHP