echo ternary php

PHP
echo (isset($options['footer_txt_color'])) ? $options['footer_txt_color'] : '#ffffff';

Source

Also in PHP: