Different array syntax for PHP