Updated mediawiki/extensions
Project: mediawiki/extensions/EventLogging  3948a1eed2b0dcbb9d7665ed3f8ea334d566b8de

Make setup.py install eventlogging.lib as well

Change-Id: I307ab82f7136c374276671be4749235cd9b40965