adapted files.php according to code style