title: Trying to format php time 12hr no leading zeros
body: <p>I feel stupid asking - but I've had a problem with my time format. Using php and pulling date/time from a MySQL db I am trying to format a time display so there are no leading zero characters in my 12 hour format. A space is fine.. Sounds easy right. Probably is...</p>
  
  <p>Style I want is : <code>6:00 PM</code> NOT <code>06:00 PM</code></p>
  
  <p><code>$result[0][0]</code> is the value of <code>"2013-06-06 18:00:00"</code></p>
  
  <p>PHP code is now: </p>
  
  <pre><code>echo strftime('%I:%M %p', strtotime($result[0][0]));
  //upper case "i" WORKS but has leading zero
  </code></pre>
  
  <p>PHP code I think I need is : </p>
  
  <pre><code>echo strftime('%l:%M %p', strtotime($result[0][0]));
  //Lower case "L" Provides no output
  </code></pre>
  
  <p>Latter is because according to php manual:
  using <code>%l</code> (lower-case 'L') yeilds Hour in 12-hour format, with a space preceding single digits 1 through 12</p>
  
  <p>But when I use this format I get nothing!</p>
  
  <p>What SIMPLE thing am I doing wrong?</p>
  
  <p>(Hmmm , funny how the codes above look exactly alike in the StackOverflow screen but I am typing Upper case i and lower case L... in fact here is upper i --> "I", and here is lower L -->"l" ??)  They look identical in this font??</p>