Some php libraries for javascript to ajax to