Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  f69dc12f1e5db2f061599b7716773cf70b0668ed

Remove deprecated DevServer.php

Change-Id: Ife4fc885188bab1fc8f8ce2b6762649570dc7667