Updated mediawiki/extensions
Project: mediawiki/extensions/RDFIO  21f3878ca54b32c656c293bc5e7a60210fdbc3d2

Replace deprecated User::editToken with User::getEditToken (1.19)

Change-Id: Ic4fa2e491277552bfa5980f83a9b733ef14e6687