@Jörg, I have previously seen situations where the browser/client caches the PHP source. Can i suggest you try clearing your browser cache, and/or trying from a different computer?
@Jörg, I have previously seen situations where the browser/client caches the PHP source. Can i suggest you try clearing your browser cache, and/or trying from a different computer?