Updated mediawiki/extensions
Project: mediawiki/extensions/DataTypes  7d14254423b30b090d7001cb58bf35e99cfd7445

Remove verbose GPL headers

Change-Id: I10181c90d528cf48368d3c85900352494300f16c
Updated mediawiki/extensions
Project: mediawiki/extensions/DataTypes  deab40cb7f258da61592993c1ddcf8b860ee1d7b

Add Henning as author

Change-Id: Ibbefe218ee0c23ba76d866dff0f38d803bd80466