Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  895f737b87d918ddaeef8460476948b977401b50

Workaround for a scrolling bug in IE8

Bug: 61908
Change-Id: I69dbfa267b26916628181553b213f05add909c99