php array to javascript array