PHP file_get_contents source code location
<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>
