Filename in <Title> Tag

[allmycookies]

Hello everyone! Since I often have multiple tabs open simultaneously and do a lot of debugging on my server, I've made some modifications to the code so that I know which file I have open in each tab.

I wanted to share the modification with you here. Maybe it's useful enough that it could be included in the next release.

//Find Line 182(8?)
$editFile = ' : <i><b>'. $file. '</b></i>';

//Add Line 182(9?)
$editFileclean = ' | ' . $file;

//Modify Line 365(1?)
global $lang, $root_url, $sticky_navbar, $favicon_path, $editFileclean;

//Modify Line 366(4?)
<title><?php echo fm_enc(APP_TITLE) . $editFileclean ?></title>

(*?) The line number depends on your previous modifications.