Update File.php

code formatting ag