$file->filename()

Returns the full filename including extension

Example

<?php echo $page->file()->filename();