Problem solved:

Despite the fact I am using PHP 5.1.6 it still seems to want JSON.php and therefore in getstaff.php needs

//since we want to use a JSON data we should include
//encoder and decoder for JSON notation
//If you use a php >= 5 this file is not needed
include(“../includes/jqgrid/JSON.php”);