PHP How to get realpath of a file without its extension

Question

maybe this sounds like a simple question but I haven\'t been able to find a solution for it. It turns out that I need to get the realpath of a file but without