Updated mediawiki/extensions
Project: mediawiki/extensions/MediaWikiChat  ba47cb545def5437c3626132d49a5005d7ffc75f

Use dynamic polling interval

Should make chat more responsive (by polling more frequently during
conversations, but save server resources (by polling less frequently when
there is not much going on).

Change-Id: If531a5693503b9db42ed5c0e640c359691712764