PHP，日期：附加到月份简短表示的点

Question

I have

date("M.", $datetime)

I want to get this output:
Jan.
Feb.
Mar.
Apr.
May (no dot necessary)
Jun.
Jul.
…

I dont like the idea of an if-statement to check the length/number of month every time a date is generated.

Is there a approach that is more simple? Like changing the month-name in general? Or hooking into the date function itself to implement an if-statement that runs every time the date function runs.

Thanks

Answer 1

If you don't want the dot to appear after May month, you will need a check of some sort - which normally is an if. You could do something like this, check if the month returned by date() isn't May, and add a dot after if it isn't.

$date = date("M", $datetime);
if (date("M") != "May")
    $date .= ".";

Otherwise you'd need to implement a function of your own, but in the end - you will have to end up with this again, there's really no way around it - and this is by far the simplest and cleanest way.

You could wrap this into a function. You can't alter the date() function directly, but you can create one of your own.

function my_date($format, int $timestamp = null) {
    if ($timestamp === null)
        $timestamp = time();

    $date = date($format, $timestamp);
    if ($format == "M" && date("M", $timestamp) != "May")
        $date .= ".";
    return $date;
}

Then use it as

echo my_date("M", $datetime);