title: MySQL: Get local time for a specific time zone
body: <p>Here's a simple version of the table <code>users</code>:</p>
  
  <pre><code>+--------------+-------------------+
  |      id      |     timezone      |
  +--------------+-------------------+
  |       1      | 'Europe/Helsinki' |
  |       2      |  'Europe/Paris'   |
  +--------------+-------------------+
  </code></pre>
  
  <p>I want to know what's the local time for each one of these users (depending on their time zones), so that I can select users for who it's 4pm for example.</p>
  
  <p>I'm using the LAMP stack, but I'd like to do that using MySQL only (not selecting all users and running them in a PHP loop).</p>