From dee8b65823a9468288e37585ce9482a51bb98a13 Mon Sep 17 00:00:00 2001
From: Olly Betts <olly@survex.com>
Date: Sat, 18 Dec 2021 14:41:06 +1300
Subject: [PATCH] [php] Always use <?php to start .php file

A few files had just <? which only works when the short_open_tag option
is on.  It is on by default (at least in current PHP versions) and we
explicitly tell PHP not to read php.ini, but the PHP docs recommended to
avoid it, and PHP can be built with --disable-short-tags.
---
 Examples/test-suite/php/exception_order_runme.php            | 2 +-
 Examples/test-suite/php/virtual_vs_nonvirtual_base_runme.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Examples/test-suite/php/exception_order_runme.php b/Examples/test-suite/php/exception_order_runme.php
index fb9870659..fafa88483 100644
--- a/Examples/test-suite/php/exception_order_runme.php
+++ b/Examples/test-suite/php/exception_order_runme.php
@@ -1,4 +1,4 @@
-<?
+<?php
 require "tests.php";
 
 check::functions(array('is_python_builtin'));
diff --git a/Examples/test-suite/php/virtual_vs_nonvirtual_base_runme.php b/Examples/test-suite/php/virtual_vs_nonvirtual_base_runme.php
index 183825971..8d8d40560 100644
--- a/Examples/test-suite/php/virtual_vs_nonvirtual_base_runme.php
+++ b/Examples/test-suite/php/virtual_vs_nonvirtual_base_runme.php
@@ -1,4 +1,4 @@
-<? 
+<?php
 
 require "tests.php";