title: PHP file_get_contents source code location
body: <p>I would like to have a look at the source code of <code>file_get_contents</code>.</p>
  
  <p>I've been googling for hours now but cannot find it or it's location in php download.</p>
  
  <p>I downloaded php-5.4.15.</p>
  
  <p>Does anyone know where I could find this?</p>