File updates from <? to <?php
apply update from a6a747a7c9f8304f086d996690dd0c22cd9735f2