Added JSON lib to PHP