Pass Javascript arrays to PHP (PHP recipe)