Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  fe207462f8c01922b12272a62aade209ae606b70

Move out DataTypes to its own repo

New repo at https://gerrit.wikimedia.org/r/p/mediawiki/extensions/DataTypes.git

Change-Id: Ie21dc91be023c4101cad5a654e229ec7462b6c3f