User blog comment:TimmyQuivy/On the Importance of Upgrading MediaWiki/@comment-33029275-20200507180139/@comment-24006128-20200507180248

Good catch! We'll fix it :)