-global $monthname;
-$monthname = ['?',
- 'januari', 'februari', 'maart', 'april', 'mei', 'juni',
- 'juli', 'augustus', 'september', 'oktober', 'november', 'december',
-];
-
-function showdate($parts)
-{
- global $monthname;
- return implode(' ', array_filter([
- intval(@$parts[2]), $parts[1] > 0 ? $monthname[intval($parts[1])] : '', $parts[0],
- count($parts) > 5 ? "$parts[3]:$parts[4]" : '',
- ]));
-}
-