ieri am trecut din nou la ora de iarnă... cu ocazia asta, am descoperit un bug în codul blogului... era legat de modul în care determinam dacă un post sau comentariu a fost scris cât timp era ora de vară sau ora normală...

mi-am adus aminte (nu cu plăcere) de ziua (de acum doi ani şi un pic) în care am scris codul care să returneze exact ce-am zis mai sus...

iată ce mizerie aveam în cod, scris cu mânuţele mele astea două:

<?php

  if ($year == ‘2012’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 25)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 27)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2011’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 27)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 29)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2010’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 28)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 30)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2009’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 29)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 24)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2008’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 30)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 25)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2007’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 25)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 27)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2006’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 26)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 28)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

  if ($year == ‘2005’)
    switch($month)
    {
      case ‘January’:
      case ‘February’:
      case ‘November’:
      case ‘December’:
        $time_zone = ‘EET’;
        break;
      case ‘March’:
        if ($day < 27)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      case ‘October’:
        if ($day > 30)
          $time_zone = ‘EET’;
        else
          $time_zone = ‘EEST’;
        break;
      default: $time_zone = ‘EEST’;
    }

?>

deci da, 186 linii de cod, care ieri au fost înlocuite cu mai elegantul cod de jos:

<?php

  $epoch = get_the_time(‘U’);
  $local = localtime($epoch, true);
  if ($local[tm_isdst])
    $time_zone = ‘EEST’;
  else
    $time_zone = ‘EET’;

?>

nu ştiam eu pe atunci ce e aia unix epoch time, cu ce se mănâncă şi dacă nu există vreo funcţie directă care să-ţi calculeze dacă era dst sau nu...

—

acum, bineînţeles că o să vă întrebaţi, bah ce pana mea ne arată ăsta aici doo’ste de linii de cod, explicându-ne cât de ţicnit e...

partea cea mai tare dragi prieteni este că mă chinuisem la tot acel cod doar pentru a afişa după ora postului EET sau EEST... atât, acea informaţie nu e folosită în afişarea orei, doar a acelui indicator... este fabulos cât de obsedat pot să fiu...

—

nota 1: este absolut genial ca un post cu titlul “small code optimization” să aibă id-ul 8051... asta e doar pentru cunoscători...

nota 2: EET = Eastern European Time, EEST = Eastern European Summer Time