Updated mediawiki/extensions
Project: mediawiki/extensions/RefreshSpecial  aa624e84cdcf841cd6fbc86d4507948d4d5ecbb9

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

Change-Id: I7ce2901aac0c03e52621c68febb11084793a9d3e
Updated mediawiki/extensions
Project: mediawiki/extensions/Commentbox  064aef4981cd06c600d18cc5d94853a15408935e

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

Change-Id: I055c2971eec74b73b1e7d48fdb1a2ba1ebd5c4cc