title: query execution time in mysql workbench
body: <p>Does anyone know how to display the query execution time in mysql workbench? I am running version 5.2.45 and I cannot see anywhere the time taken by the query to run! What a mistery!</p>