title: PHP strtotime() "first monday february" returns second monday if february 1st is a monday
body: <p>I'm working on a PHP function which calculates holidays:</p>
  
  <pre><code>function holidays($country = 1, $timespan_start = 0, $timespan_end = 0)
  </code></pre>
  
  <p>The holidays are returned as timestamps in an array.</p>
  
  <p>Since I have to calculate dates like the first Monday of February, I tried <code>strtotime("first monday february $year")</code> and I've discovered that this does not work for 2010, since 02/01/2010 is a Monday - I get February 8th instead.</p>
  
  <p>This bug is actually mentioned in the change log:
  In PHP 5 prior to 5.2.7, requesting a given occurrence of a given weekday in a month where that weekday was the first day of the month would incorrectly add one week to the returned timestamp. This has been corrected in 5.2.7 and later versions. </p>
  
  <p>But I'm using PHP 5.3.8.
  Why am I experiencing this error?</p>