If this file is reserved from things borrows from PHP and under the PHP license.. shouldn't the file be named external/php.c then?
And the author in the header file won't always be the same, so you plan on adding the header again and again?