Updated mediawiki/extensions
Project: mediawiki/extensions/SportsTeams  2023ae88f740ba7c88f6b6fcab5397fd5beae9cb

Replace deprecated WebRequest::getFileSize()

Change-Id: I37f3d4e5c43a456ed033b7b502ef5fcf61e69daa