A simple extension of the PHP class SplFileObject