(ok 2.10.1) Syntax highlighter: extra spaces

# MySQL client version: 5.0.22 (Strict mode)
# Used PHP extensions: mysql
# PHP 5.1.5
# PHPMyAdmin 2.9.0 and 2.9.0-beta1 (<-- tested on)

PMA = PHPMyAdmin

When a user is created in the Privileges part, and when
you then just copy the displayed query PMA used and
when you then try to use this query in a SQL exec part
of PMA it gives an error.
It fails because there is a space between the @ and
'%', see other 'bug' in the PMA displayed SQL code (PMA
does execute the query ok when adding a user, so the
SQL in the background is OK, but what PMA is displaying
what it used to create is wrong, the space)
The same problem you have when you DROP a user, and
maybe when you grant, change or maybe all actions with
a user.
---
CREATE USER 'lala'@ '%' IDENTIFIED BY '****';

GRANT USAGE ON * . * TO 'lala'@ '%' IDENTIFIED BY
'****' WITH MAX_QUERIES_PER_HOUR 0
MAX_CONNECTIONS_PER_HOUR 0 MAX_UPDATES_PER_HOUR 0
MAX_USER_CONNECTIONS 0 ;

-- AND MAYBE ALL OTHER USERS

DROP USER 'lala'@ '%';
---