Add a custom stub file

Replace the PHP default stub file by a custom one.