Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaEvents  d439432bd69f28fe1d34053c37a047caf9324619

Log article deletions using the PageDeletion schema

Change-Id: I09c43a681ba5d256292173aa3f7dd36d01bb489c