libraryupgrader build: Updating mediawiki/mediawiki-phan-config to 0.12.0
4159e60 Oct 8, 2022
build: Updating mediawiki/mediawiki-phan-config to 0.12.0 
Change-Id: Ia3afdef2d51cf9ca6d9ef30ecd096412fff6787b
4159e60