libraryupgrader build: Updating mediawiki/mediawiki-phan-config to 0.12.0
fc50b17 Oct 9, 2022
build: Updating mediawiki/mediawiki-phan-config to 0.12.0 
Change-Id: I283f527f92821f208e1e5ac745accd1244671862
fc50b17