build: Update mediawiki/mediawiki-phan-config to 0.12.0
build: Update mediawiki/mediawiki-phan-config to 0.12.0

Change-Id: Ife6495522a5c3250b900f31efad4e01eff395ce5

wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui