Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  d810a6f5733e6d0c58b671099ae303d5d2050c7e

ext.echo.overlay: Various minor consistency fixes and cleanup

Change-Id: Id3b0f4fd7253282b190d6b2ed5fc78b714295e96