*.php files are ignored by Git and a better practice might be to rename PHP included files for tests.
* Keep track of defined function and const filenames * Prohibit use function foo if function foo exists * Prohibit use const foo if const foo exists