wikimedia / mediawiki

Completed

unknown

created 2016-07-26 17:20 UTC

Unfortunately, the changeset was too large and we could not compute changes, but only the current state.

5.46

▶ ± 0

Commit	jenkins-bot – 2016-07-26 15:22 UTC Merge "Don't magically make MediaWiki\Widget classes infusable"