Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  c188739b376fe284a35d72d1a11c7112d28e62f6

Support jsonfm (pretty JSON formatted with HTML).

Change-Id: I26e99e56024262d964868e8d6b3721579dba6cfb