title: How to make DROP INDEX IF EXISTS for mysql?
body: <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>