too old PHP for array shorthand notation