Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  9394a8255bc65d9e8718f586a6818fc9a93fd472
null
Remove property counts from HTMLized JSON

The property count served no discernable purpose except to clutter the
interface with stuff.

Change-Id: I16fa58e71696640b4e3014b3f8118379ebf26840