Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  b61647f07d07fdf76b04bf4cd01bc145740da81e

eventlogging-devserver: add option to append to file or stream

Make it possible to pretty-print events to standard out while writing to either
standard error or a log file.

Change-Id: I3ed555f25d029d10ca1634acc71046386a974e67