Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  af63d4efff37338a7fe62a3c3f8d775cf6d03276

Rename efLogServerSideEvent -> efLogEvent; deprecate former

The interface that EventLogging presents should be uniform and elegant;
'efLogServerSideEvent' is neither. So rename it to 'efLogEvent', but provide an
alias for backward-compatibility.

Since this is an API change, bump EventLogging's version from 0.7 to 0.8.

Change-Id: Ifa74cbd557b26f629eaf62bbd56e2fc2a8ded410