Merge "mediawiki.ui: Button group active buttons unchanged on user interaction"