Script to sync VisualEditor in mediawiki/extensions.git

bug: 49846
Change-Id: I092e08b8b6e1907f1e9e141a5de378bb610f7e36