Updated mediawiki/extensions
Project: mediawiki/extensions/Drafts  67b49831b02b87f39e5b1c1a6727542e233d606d

Use User::matchEditToken

Change-Id: If72f2652a4314d1db3600dc6ed3759300faadfae
Updated mediawiki/extensions
Project: mediawiki/extensions/Drafts  a0e755b152e91a34de612d21c4f44422fd7d7df1

Use more specific Title in phpdoc

Change-Id: I0e01022647656d7459214eb045e4e60933ca4184