How do I get filename from string?

3rdvalve

I have been rather confused with all the string functions, but haven't found how to do what I want.

In simplicity I want to isolate the current filename (without the extension) so I can assign it to a variable. For example if the file is called "myfile.php", I want "myfile" to be assigned to the variable.

The nearest I got is $_SERVER["PHP_SELF"] which returns something like:

/folder1/subfolder1/myfile.php

but I need to strip off the path and the file extension.

TIA for your help 🆒

mrhappiness

you might want to look at [man]basename[/man] and search for "remove file extension" ?

btw: it seems like you wann do this for kind of a navigation but shouldn't you know the links' targets?

TheDefender

<?
$filepath = "/folder1/subfolder1/myfile.php";

$file = explode(".", basename($filepath));

echo $file[0];
?>

LordShryku

In the case of multiple periods in the filename, you need to get a bit craftier...

function filename($file) {
   if(($pos = strrpos($file, '.')) !== false) {
      return basename(substr($file, 0, $pos));
   }
   return basename($file);
}

$filepath = '/folder1/subfolder1/some.file.inc.php';
echo filename($filepath);

3rdvalve

Originally posted by mrhappiness
you might want to look at [man]basename[/man] and search for "remove file extension" ?

btw: it seems like you wann do this for kind of a navigation but shouldn't you know the links' targets?

Many Thanks...

I thought somebody might ask about navigation. It's for a template and I want to create a .inc file named the same as the .php.

It makes sense to automate the process.

3rdvalve

TheDefender, LordShryku

Many thanks also to you for your guidance - so swiftly and generously given!
:p

mrhappiness

if you only want to change the extension try

echo preg_replace('%[^\\.]+$%', 'inc', $_SERVER['PHP_SELF']);