Fixes #3124. PHP 5.4 array syntax was used