Updated mediawiki/extensions
Project: mediawiki/extensions/Drafts  8b7427a9a8232c61fa538a6117979e96d3720694

Use User::matchEditToken to compare tokens

In Ic4cf148c, edit tokens will be different every time
$user->getEditToken is called. $user->matchEditToken (which has existed
as long as getEditToken) correctly handles matching of the possible
tokens.

Change-Id: I3c1de7ae577b48fd7c10968cd14b52aedf307d35