#4993: Retire mediawiki115