Einstellungen - HTML Erweiterung

Über HTML Extension läßt sich die Endung angeben, welche für die generierte Statistik verwendet wird. Standart ist .html.