Converted to PHP short array syntax.