[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a80785: Fix #15141 - php notice Undefined index: designer_settings

[William Desportes]

Branch: refs/heads/QA_4_8
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: a80785198d6f2a211e7565ffc759b981a5411644
https://github.com/phpmyadmin/phpmyadmin/commit/a80785198d6f2a211e7565ffc759b981a5411644
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-04-01 (Mon, 04 April 2019) +02:00

Changed paths: 
M libraries/classes/Database/Designer/Common.php

Log Message:
-----------
Fix #15141 - php notice Undefined index: designer_settings

Signed-off-by: William Desportes <williamdes at wdes.fr>

Commit: 4902d080e765b69969d54cd8881abbf1fbaf70dc
https://github.com/phpmyadmin/phpmyadmin/commit/4902d080e765b69969d54cd8881abbf1fbaf70dc
Author: Nupur Agrawal <nupur202000 at gmail.com>
Date: 2019-04-01 (Mon, 04 April 2019) +02:00

Changed paths: 
M js/sql.js

Log Message:
-----------
Fix #12729 - Sticky table header over dropdown menu

Fixes: #12729
Signed-off-by: Nupur Agrawal <nupur202000 at gmail.com>

Commit: 73f16986d39d8aa8adb75741ec0a985ec6a681da
https://github.com/phpmyadmin/phpmyadmin/commit/73f16986d39d8aa8adb75741ec0a985ec6a681da
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-04-01 (Mon, 04 April 2019) +02:00

Changed paths: 
M js/sql.js

Log Message:
-----------
Fix #12729 - Sticky table header over dropdown menu

Fixes: #12729
Signed-off-by: William Desportes <williamdes at wdes.fr>

Commit: caffbc3a5e9958513a1d6327572744a876750d8f
https://github.com/phpmyadmin/phpmyadmin/commit/caffbc3a5e9958513a1d6327572744a876750d8f
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-04-01 (Mon, 04 April 2019) +02:00

Changed paths: 
M ChangeLog

Log Message:
-----------
Add ChangeLog entry for #15141 and #12729


Signed-off-by: William Desportes <williamdes at wdes.fr>