Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  437609df7273314ee74e502df40dc783ff359d5b

Allow Result objects to be merged

Introducing Result::merge( $a, $b )

Change-Id: Ie40b0bb5ffba444e2daedeaa137d7fbf946f5dd0