mediawiki.ui: Add a new 'highlightColor' argument to .button-colors() instead of...