an php extension to manage a large number of files