strange problem: require_once seems to cache included file
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.
Thanks in advance.