Public Git Hosting - mediawiki.git/commit

commit	b0ab252541fde2113cd1c17bfe765daf7660b45e
author	jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
	Tue, 26 Sep 2023 19:35:27 +0000 (26 19:35 +0000)
committer	Gerrit Code Review <gerrit@wikimedia.org>
	Tue, 26 Sep 2023 19:35:27 +0000 (26 19:35 +0000)
tree	7dfd18bce5e3f2e7407bc1476bfdf4a9c1ab1535	tree \| snapshot (tar.gz zip)
parent	c1981a8d6530b7362089035aceb3d46a6b909d10	commit \| diff
parent	097983e9d7b545651aaea061789b8c9b40507111	commit \| diff

Merge "Unit test for LinkRenderer::makeRedirectHeader() used by WikitextContentHandler"