src/Date.php
public static function getShortMonth($month): string
	{
		if ($month instanceof DateTimeInterface) {
			$month = (int) $month->format('n');
		}
		if (!is_int($month)) {
			throw new InvalidArgumentException;
		}
		return self::$monthNamesShort[self::$locale][$month];
	}
public static function getShortMonth($month): string
	{
		if ($month instanceof DateTimeInterface) {
			$month = (int) $month->format('n');
		}
		if (!is_int($month)) {
			throw new InvalidArgumentException;
		}
		return self::$monthNamesShort[self::$locale][$month];
	}
Vrati zkraceny nazev mesice
@param int|DateTimeInterface $month
@return string