Updated mediawiki/extensions
Project: mediawiki/extensions/PageSchemas  f01c5b832ecc5427d076f9a1d65d48d617678de1

Added handling for page sections

Implemented the handling of page sections for the "Edit Schema" special page.

Change-Id: I67f7a50ea7811f72f25ee36e6f513dd0187fe063
Updated mediawiki/extensions
Project: mediawiki/extensions/Maps  2823bab830fe36fb07d1b454d31d11ce8276946c

Infrastructure improvements

Change-Id: I3e017cc4105ccfb7af19ad1debdf16151a3822f0