<?php echo basename('/what/what/what.pdf', '.pdf');
You have javascript disabled. You will not be able to edit any code.