I'm having a strange problem. I upload a "banner.php" file on my server using FileZilla. This file is included in index.php. No matter what I do, the changes to banner.php are not reflected in index.php. Yet the file seems to be included correctly. When I cut and paste the content of banner.php into index.php instead of including the file, everything works fine.

It's as if require_once was caching an older version of banner.php and always including it, which, afaik is not possible.

So I deleted banner.php from my server and completely removed it. But index.php keeps on including it as if it was there. The "old" version, of course.

What could cause this strange issue? Has anyone seen that before? Could it be some javascript that is causing the problem? Or the use of set_include_path()?

Thanks in advance.