$file->filename()
Returns the full filename including extension
Example
<?php echo $page->file()->filename();