diff options
author | Jani Taskinen <jani@php.net> | 2007-10-31 13:22:45 +0000 |
---|---|---|
committer | Jani Taskinen <jani@php.net> | 2007-10-31 13:22:45 +0000 |
commit | f552f9161877e50ced7349a6b4ed2d8caf5b0cef (patch) | |
tree | 496017d8b8e07d73e2d38b418210fe6f6c61f951 /ext/standard/php_filestat.h | |
parent | 548c25ef1c4befddb59382a118c12a84aa8faabe (diff) | |
download | php-git-f552f9161877e50ced7349a6b4ed2d8caf5b0cef.tar.gz |
MFH: - Fixed bug #43137 (rmdir() and rename() do not clear statcache)
Diffstat (limited to 'ext/standard/php_filestat.h')
-rw-r--r-- | ext/standard/php_filestat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/standard/php_filestat.h b/ext/standard/php_filestat.h index c8a8200d54..3517af5cb7 100644 --- a/ext/standard/php_filestat.h +++ b/ext/standard/php_filestat.h @@ -87,6 +87,7 @@ typedef unsigned int php_stat_len; typedef int php_stat_len; #endif +PHPAPI void php_clear_stat_cache(TSRMLS_D); PHPAPI void php_stat(const char *filename, php_stat_len filename_length, int type, zval *return_value TSRMLS_DC); /* Switches for various filestat functions: */ |