diff options
author | Juvenv <Juvenv@users.noreply.github.com> | 2017-12-23 20:24:01 +0300 |
---|---|---|
committer | MaurĂcio Meneghini Fauth <mauriciofauth@gmail.com> | 2017-12-23 20:24:01 +0300 |
commit | 561c6bf82c453491781fb5e7a557a34e97179365 (patch) | |
tree | 707ee533fc068e2b555f25fa514be90c391dd7f6 /index.php | |
parent | bd5b7f0d39989e378f4ed590565afe0612b2a854 (diff) |
Remove inline styles from elements (#13883)
* Remove inline styles from elements in index.php #12262
* Remove inline style from element in CentralColumns #12262
Related to #12262
Signed-off-by: Juvenildo Vaz <juvenildo1511@yahoo.com.br>
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -191,7 +191,7 @@ if ($server > 0 || count($cfg['Servers']) > 1 if ($cfg['DBG']['demo']) { echo '<div class="group">'; echo '<h2>' , __('phpMyAdmin Demo Server') , '</h2>'; - echo '<p style="margin: 0.5em 1em 0.5em 1em">'; + echo '<p class="cfg_dbg_demo">'; printf( __( 'You are using the demo server. You can do anything here, but ' |