Another PHP 5.3 vs. PHP 5.4 array syntax update