Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  2183c35cf728f70b69601e06a6edb8630708d3c3

Use ve.ui.PushButton instead of ve.ui.Button in ve.ui.SyntaxHighlightDialog

Change-Id: I1b30e300492e682a477615a70fc7319c1b6d794e