Tidy HTML

mkht.php

@@ -219,8 +219,25 @@ foreach ($pages as $page) {
 		require SITE . "/end.inc.html";
 	echo "</body></html>";
 
-	file_put_contents($pathParts['dirname'] . "/" . $pathParts['filename'] . ".html", ob_get_contents());
-	ob_end_clean();
+	$pageContent = ob_get_clean();
+
+	if (extension_loaded("tidy")) {
+		$tidy = new tidy;
+		$tidy->parseString(
+			$pageContent,
+			array(
+				'indent' => true,
+				'keep-tabs' => true,
+				'wrap' => 0
+			)
+		);
+		$tidy->cleanRepair();
+		$pageContent = tidy_get_output($tidy);
+	} else {
+		echo "tidy extension unavailable\n";
+	}
+
+	file_put_contents($pathParts['dirname'] . "/" . $pathParts['filename'] . ".html", $pageContent);
 
 	// Gzip compression
 	exec(GZIP . " --keep --fast --force " . $pathParts['dirname'] . "/" . $pathParts['filename'] . ".html");