HomePhabricator

build: Updating mediawiki/mediawiki-phan-config to 0.10.3

Description

build: Updating mediawiki/mediawiki-phan-config to 0.10.3

Additional changes:

  • Dropped .php5 files from .phpcs.xml (T200956).

Change-Id: I6529580b0e7a5e4ed7a1433cd15d531b468f94ad

Event Timeline

libraryupgrader <tools.libraryupgrader@tools.wmflabs.org> committed rEPHD771866f5045b: build: Updating mediawiki/mediawiki-phan-config to 0.10.3 (authored by libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>).Sep 25 2020, 7:08 AM