Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  8817b53fe90dd564760518273ddf7e5789ce09e9

Fix two typos + one js integer casting

Change-Id: Ie5c4c39e94e5531dbfa48e8cde7b608967cec0c8