More PHPDoc for file functions