Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  1a7a5a994837daa673a07545a4d4e8d2914999bf

Allow menu tool groups to be wider if needed

Using a min-width instead of a width ensures it gets larger only if
needed.

Bug: 54870
Change-Id: I9953d21134d722547efa0cdbe32e1bc0c13d6093