[13:56:08] <bunnypranav>	 Hey folks, anyone here willing to review a mediawiki/core patch that has been sitting for a while? Specifically https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1141062. Thanks in advance! :)