Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  7ebfead2fee3182f6b1cfedb37d35cf3f9c85b0c

Update scripts to use stream.py API

Change-Id: I3aabfaf3e96b064970075431c4f9b22c03f444fb