setting_start(); $plugin->checkbox(__FILE__); ?> Logo height:

Normal:	numberpicker(__FILE__, 'normal', 43, 0); ?>px
Shrunk:	numberpicker(__FILE__, 'shrunk', 30, 0); ?>px

setting_end(); } $wtfdivi->add_setting('deprecated-divi24', 'db052_add_setting');