An optimization: Use the native PHP function array_column() if it is available.