Updated mediawiki/extensions
Project: mediawiki/extensions/DynamicPageList  56d8c244f43b1ca476a5adf35ee509276775aac2

Slightly modifiying the extension's name

* Doing this to avoid conflicts (info-mixup) with the wm sister extension of the same name,
  e.g. if you query information about it via api.php

Change-Id: Id68690cef9f324f82ec368ecba31d1c49d6a7d67