$val ) { if( isset( $t_buttons_array_1[$key] ) ) { $t_buttons_array_d[$key] = $t_buttons_array_1[$key]; } } $editor_settings_nonce = wp_create_nonce( 'settings_nonce' ); ?>

$val ) { if( $val !== true ) { ?>
• >

$val ) { $val = str_replace( '