<!-- Collection of code snippets by Arne Vajhøj -->
<!-- posted to eksperten.dk, usenet and other places (2002-now) -->
<?php
function mik_date($locale, $t, $format, $stripchars = null, $skipstart = 0, $skipend = -100) {
    $idf = new IntlDateFormatter($locale, $format, IntlDateFormatter::NONE);
    if($stripchars != null) {
        $pattern = $idf->getPattern();
        $pattern = substr(preg_replace('/[' . $stripchars . ']/', '', $pattern), $skipstart, -$skipend);
        $idf->setPattern($pattern);
    }
    return $idf->format($t);
}

function mik_time($locale, $t, $format, $search = null, $replace = null) {
    $idf = new IntlDateFormatter($locale, IntlDateFormatter::NONE, $format);
    if($search != null) {
        $pattern = $idf->getPattern();
        $pattern = preg_replace('/' . $search . '/', $replace, $pattern);
        $idf->setPattern($pattern);
    }
    return $idf->format($t);
}

function mik_datetime($locale, $t, $dateformat, $timeformat, $delim = ' ', $stripchars = null, $skipstart = 0, $skipend = -100, $search = null, $replace = null) {
    return mik_date($locale, $t, $dateformat, $stripchars, $skipstart, $skipend) . $delim . mik_time($locale, $t, $timeformat, $search, $replace); 
}

$t = time();
echo mik_datetime('da_DK', $t, IntlDateFormatter::SHORT, IntlDateFormatter::MEDIUM) . "\r\n";
echo mik_datetime('en_US', $t, IntlDateFormatter::SHORT, IntlDateFormatter::MEDIUM) . "\r\n";
echo mik_datetime('da_DK', $t, IntlDateFormatter::SHORT, IntlDateFormatter::MEDIUM, ' ', 'y', 0, 1, 'mm[:\.]ss', 'mm') . "\r\n";
echo mik_datetime('en_US', $t, IntlDateFormatter::SHORT, IntlDateFormatter::MEDIUM, ' ', 'y', 0, 1, 'mm[:\.]ss', 'mm') . "\r\n";
?>