Use BIGLINES options if available

Girgias · Girgias · commit 946f15db8b25 · 2024-05-14T15:10:10.000+01:00
diff --git a/configure.php b/configure.php
@@ -673,7 +673,8 @@ function getFileModificationHistory(): array {
 }
 
 $compact = defined('LIBXML_COMPACT') ? LIBXML_COMPACT : 0;
-$LIBXML_OPTS = LIBXML_NOENT | $compact;
+$big_lines = defined('LIBXML_BIGLINES') ? LIBXML_BIGLINES : 0;
+$LIBXML_OPTS = LIBXML_NOENT | $big_lines | $compact;
 
 if ($ac['VERSION_FILES'] === 'yes') {
     $dom = new DOMDocument;

Original file line number	Diff line number	Diff line change
`@@ -673,7 +673,8 @@ function getFileModificationHistory(): array {`
`673`	`673`	`}`
`674`	`674`
`675`	`675`	`$compact = defined('LIBXML_COMPACT') ? LIBXML_COMPACT : 0;`
`676`		`-$LIBXML_OPTS = LIBXML_NOENT \| $compact;`
	`676`	`+$big_lines = defined('LIBXML_BIGLINES') ? LIBXML_BIGLINES : 0;`
	`677`	`+$LIBXML_OPTS = LIBXML_NOENT \| $big_lines \| $compact;`
`677`	`678`
`678`	`679`	`if ($ac['VERSION_FILES'] === 'yes') {`
`679`	`680`	`$dom = new DOMDocument;`