build: Updating mediawiki/mediawiki-phan-config to 0.12.1
Change-Id: I4a2c81b9c02b39beda3cf77c785e2e6940be4ab2
(cherry picked from commit b061b84862382e3217934e79dc6e6d996942ed41)
libraryupgrader <tools.libraryupgrader@tools.wmflabs.org> | Authored on Apr 28 2023, 10:43 PM |
Reedy <reedy@wikimedia.org> | Committed on Jun 29 2023, 9:41 AM |