Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  945ea9af1c1257f2644667da1485f1c1ffa52ac9

Provide configuration hints in dev server

Change-Id: I9f2172d4fba5123fe5e5b21d3bd2f3f2c9de689d