Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  52ce01e3d05bfbcb436392bf4540512f2349d00a
null
Fix minor bug (typo - was: ve.ve, is: ve.ce)

Change-Id: I588d7237fb57be28fcfbb8aa3b0ff2288c3bdae6