/** * Upgrades Tarski if needed and flushes options. * * @since 2.1 * * @see tarski_upgrade_needed * @see tarski_upgrade * @uses tarski_upgrade_needed * @uses tarski_upgrade * @uses flush_tarski_options */ function tarski_upgrade_and_flush_options() { if (tarski_upgrade_needed()) { tarski_upgrade(); flush_tarski_options(); } }
/** * tarski_upgrade_and_flush_options() - Upgrades Tarski if needed and flushes options. * * @since 2.1 * @see tarski_upgrade_needed() * @see tarski_upgrade() */ function tarski_upgrade_and_flush_options() { if (tarski_upgrade_needed()) { tarski_upgrade(); $tarski_options = new Options(); $tarski_options->tarski_options_get(); } }