month_arr[date("n", $lastchg_timestamp)]; $lastchg_year = date("Y", $lastchg_timestamp); $lastchg_text["de"] = "Letzte Aktualisierung:"; echo << {$lastchg_text["$lang"]}
{$lastchg_day}. {$lastchg_month} {$lastchg_year} EOS; ?>