Update File.php

doc block fix