I'm currently running php 4.2.3. In os10.1.5 I think it was php 4.2.2 or whatever release worked with os10.1.5. It sounds like you've hit the nail on the head, so what do I have to change. The code that doesn't work looks like this
<?php
if ($Choice<>""){
include("file".$Choice.".txt");
}...