Merge pull request #24948 from colemanw/basename
authordemeritcowboy <demeritcowboy@hotmail.com>
Thu, 10 Nov 2022 22:18:47 +0000 (17:18 -0500)
committerGitHub <noreply@github.com>
Thu, 10 Nov 2022 22:18:47 +0000 (17:18 -0500)
Simplify removing file extension when using basename function


Trivial merge