backed out the PHP 5.4-specific short array syntax