mysql-workbench: rename from mysqlWorkbench, add alias
fixes #21226
Robin Gloster 9 years ago 24038e63 805e6804