title: How to display local time with PHP
body: <p>Our server is set to GMT time so the hour does not keep jumping around in spring and autumn. However, during summer time, it is annoying that all the times are displayed an hour out.</p>
  
  <p>How do I get and display the time, taking into account the local timezone in PHP (especially when the server thinks the local timezone is GMT).</p>
  
  <p>or, How do I know if an area is using "summer time" at the moment?</p>
  
  <p>or, How do I display a GMT time stamp or a different timezone?</p>