Updated mediawiki/extensions
Project: mediawiki/extensions/DynamicPageList  e61d711c1170ebeae0e5903c99b540f77d41755d

Replace deprecated User::editToken call

Change-Id: If56a1c12adb5428baf4b08937762191c0e382f66