is_premium()) { _e('AJAX Search for WooCommerce (PRO) Settings', 'ajax-search-for-woocommerce'); } else { _e('AJAX Search for WooCommerce Settings', 'ajax-search-for-woocommerce'); } ?>

backwardCompatibility->notice(); ?> show_navigation(); ?> show_forms(); ?>