libraryupgrader build: Updating mediawiki/mediawiki-phan-config to 0.12.0
62bd479 Oct 9, 2022
build: Updating mediawiki/mediawiki-phan-config to 0.12.0 
Change-Id: Ie5a2569ea57ac4983b50a070d45d3539f3484b18
62bd479