libraryupgrader build: Updating mediawiki/mediawiki-phan-config to 0.12.0
30e3d65 Oct 9, 2022
build: Updating mediawiki/mediawiki-phan-config to 0.12.0 
Change-Id: I8073d326715c30c8591f159416604df3dc15227f
30e3d65