How to make DROP INDEX IF EXISTS for mysql?
<p>I want to DROP INDEX in mysql with option IF EXISTS but I have found nothing that make it works.</p>

<pre><code>DROP INDEX IF EXISTS index_name ON table_name;
</code></pre>

<p>Anyone has any hint?</p>