El "entero" que te devuelve la función filemtime() es un "TIMESTAMP" ...
Usa date() para darle formato:
$date=date("formato",filemtime("docs/".$file);
donde "formato" .. es lo que indica en la documentación de la función date.
Todo esto lo menciona la documentación oficial:
http://www.php.net/function.filemtime
(hasta tienes un ejemplo donde usan date() ...)
Un saludo,