update to internal commit 164f0a57

DMGithubPublisher · DMGithubPublisher · commit 4abf075eeae6 · 2025-11-04T17:10:12.000+08:00
diff --git a/_includes/search-input.html b/_includes/search-input.html
@@ -180,7 +180,7 @@
     if (["dlr", "dce", "ddn", "dcv", "dcp"].indexOf(product) >= 0) {
       product = "dcv"
     }
-    if (["dbr", "dlr", "dce", "dcp", "dcv", "ddn", "mds"].indexOf(product) >= 0) {
+    if (["dbr", "dlr", "dce", "dcp", "dcv", "ddn", "mrz", "mds"].indexOf(product) >= 0) {
         let lang = getCurrentUrlLang(document.URL, true)
         let reporType = ""
         if (lang && lang != "core") {

Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@`
`180`	`180`	`if (["dlr", "dce", "ddn", "dcv", "dcp"].indexOf(product) >= 0) {`
`181`	`181`	`product = "dcv"`
`182`	`182`	`}`
`183`		`- if (["dbr", "dlr", "dce", "dcp", "dcv", "ddn", "mds"].indexOf(product) >= 0) {`
	`183`	`+ if (["dbr", "dlr", "dce", "dcp", "dcv", "ddn", "mrz", "mds"].indexOf(product) >= 0) {`
`184`	`184`	`let lang = getCurrentUrlLang(document.URL, true)`
`185`	`185`	`let reporType = ""`
`186`	`186`	`if (lang && lang != "core") {`