Use some PHP 5.4 short array syntax