Merge pull request #28160 from wikimediaWfan/upstream
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 16 Nov 2023 00:50:33 +0000 (11:50 +1100)
committerGitHub <noreply@github.com>
Thu, 16 Nov 2023 00:50:33 +0000 (11:50 +1100)
commit1cfe2b25fdafb37b2173249241aff994e366fc2f
tree7b21d6150e9b55d1c2cd77bc6b8169ad91344c44
parentae84a37fde117dd742a68d6fc4d7a2c9bea04887
parentd876e6151285a9faad0de57293eb2ab20c595574
Merge pull request #28160 from wikimediaWfan/upstream

Update Merger.php to compare strict type for checkboxes where a dummy…