Use padded line number

sirreal · sirreal · commit 8a063e159054 · 2024-01-16T13:53:27.000+01:00
Allows filetering like line0001 so not line1 line10 line11…
diff --git a/tests/phpunit/tests/html-api/wpHtmlProcessorHtml5lib.php b/tests/phpunit/tests/html-api/wpHtmlProcessorHtml5lib.php
@@ -84,7 +84,9 @@ public function data_external_html5lib_tests() {
 			foreach ( self::parse_html5_dat_testfile( $test_dir . $entry ) as $k => $test ) {
 				// strip .dat extension from filename
 				$test_suite = substr( $entry, 0, strlen( $entry ) - 4 );
-				yield "{$test_suite}/line{$test[0]}" => array_slice( $test, 1 );
+				$line = str_pad( strval( $test[0] ), 4, '0', STR_PAD_LEFT );
+
+				yield "{$test_suite}/line{$line}" => array_slice( $test, 1 );
 			}
 		}
 		closedir( $handle );

Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,9 @@ public function data_external_html5lib_tests() {`
`84`	`84`	`foreach ( self::parse_html5_dat_testfile( $test_dir . $entry ) as $k => $test ) {`
`85`	`85`	`// strip .dat extension from filename`
`86`	`86`	`$test_suite = substr( $entry, 0, strlen( $entry ) - 4 );`
`87`		`- yield "{$test_suite}/line{$test[0]}" => array_slice( $test, 1 );`
	`87`	`+ $line = str_pad( strval( $test[0] ), 4, '0', STR_PAD_LEFT );`
	`88`	`+`
	`89`	`+ yield "{$test_suite}/line{$line}" => array_slice( $test, 1 );`
`88`	`90`	`}`
`89`	`91`	`}`
`90`	`92`	`closedir( $handle );`