More work on PHP and pAjax implementation