title: Populate MySQL timezone info from MySQL data set, not from system without restart
body: <p>I'd like to populate the MySQL timezone tables with the database provided by MySQL. I am using a cloud DB and can't overwrite DB tables and restart the server.</p>
  <p>Can someone help me understand how to load these files manually?</p>
  <hr />
  <h2>Rational</h2>
  <p>I loaded the tz tables from the OS, but the OS has a ton of <em>timezone</em> names. I'd like a more concise set of names that I can query for forms. I think the set provided by MySQL might be a better fit. No other apps are running on the database, thus timezone conflicts aren't an issue.</p>