]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4991817) | patch
Wrap username in <span>
authorDragsio <48870248+Dragsio@users.noreply.github.com>
Sun, 9 Mar 2025 15:03:40 +0000 (16:03 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sun, 9 Mar 2025 17:28:50 +0000 (18:28 +0100)
commit7512bc2d51496b5888c112c065d4829de96b076e
tree35dcfe59c74ffd44c8eeedade22aac8789f2ec82tree | snapshot
parent4991817b0d9256cda6a4ef11214b77a6f5825b80commit | diff
Wrap username in <span>

Username enclosed in tags for better use of custom themes (eg. vertical padding).
adminer/include/design.inc.php diff | blob | history
Sources of adminer, a webclient for database management systems.