Shorten strings in an array to a maximum length

public static function shortenNames($names) {
	$short_names = array();
	foreach ($names as $name) {
		if (strlen($name) > 15) {
			$front = substr($name, 0, 6);
			$back = substr($name, -6, 6);
			array_push($short_names, $front.'...'.$back);
		} else {
			array_push($short_names, $name);
		}
	}
	return $short_names;
}