Settings - HTML Extension

HTML Extension HTML-Extension allows you to specify the filename extension to use for generated HTML pages. Normally, this defaults to "html", but can be changed for sites who need it (like for PHP embeded pages).