PHP: don't create setters/getters for static members
PHP: when clearing all file info from the symbols database, delete the entry from the FILES_TABLE as well