Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  d1ee9aeb9b37c1ad56e0bc68569b7eb6fecdb61b

Improved ListPatcher docs

Change-Id: I8913f0be0da265ed3cb574178e232169a1d0b340