Update WikibaseDataModel.php