A port of JavaScript Array for PHP