Remove empty / not used file

Hi:
I found there might be a no-use file in php-src, which is PHP-src/stub.c

could we remove it?

--
Laruence  Xinchen Hui
http://www.laruence.com/