wikimedia / mediawiki-extensions-WikibaseQualityConstraints

Completed

unknown

created 2018-08-20 12:04 UTC

3 new patches (Spacing) are available.

8.73

▶ ± 0

Head	jenkins-bot 2018-08-20 12:03 GMT+0000 Merge "Make some "array" type hints more specific"
⋮	1 more commit
Base	jenkins-bot 2018-08-20 11:45 UTC Merge "build: Updating mediawiki/phan-taint-check-plugin to 1.3.0"