Updated mediawiki/extensions
Project: mediawiki/extensions/PageSchemas  df712a29ec5cc7df3e2c28dc4764a7b683f0539d

New version: 0.4.2

Change-Id: I5ec5a087aaca5f0a54473e91f2ef80ca9c5780f3