WalrusFileManager: clear PHP file cache when we try to get file informations multiple time
WalrusFileManager: clear PHP file cache when we try to get file informations multiple time

nicolasbeauvais/Walrus,nicolasbeauvais/Walrus,nicolasbeauvais/Walrus