Merge pull request #241975 from mweinelt/mediawiki-1.40.0
authored by Sandro and committed by GitHub 2 years ago b3f7e605 0a5d0929