Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  26abc65e7bcbbbc3e9cdaeeb53b3931d45e1f15e

Script to fix bug 53687 (failure of revision row deletion)

Change-Id: I157a20cb89aa774f188875992d884553f47ea896