diff options
author | Alpha <alpha0010@users.noreply.github.com> | 2016-07-19 16:35:30 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-19 16:35:30 -0400 |
commit | 6db5ad3dc55162e53e653f379301754ba1a71ddb (patch) | |
tree | 51bb5b0519cbc58bfd1d57ca66e87e4c138bbd48 | |
parent | 5fb7569bd501f500b8fcf37d928f08d0509606b7 (diff) | |
download | webgrind-6db5ad3dc55162e53e653f379301754ba1a71ddb.zip webgrind-6db5ad3dc55162e53e653f379301754ba1a71ddb.tar.gz webgrind-6db5ad3dc55162e53e653f379301754ba1a71ddb.tar.bz2 |
Show filename first in fileviewer title
This makes it easier to find a previously opened file from within browser tabs.
-rw-r--r-- | templates/fileviewer.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/templates/fileviewer.phtml b/templates/fileviewer.phtml index b1df0eb..27220f8 100644 --- a/templates/fileviewer.phtml +++ b/templates/fileviewer.phtml @@ -7,7 +7,7 @@ <link rel="stylesheet" type="text/css" href="styles/style.css"> <link rel="shortcut icon" type="image/ico" href="favicon.ico"> <title> - webgrind - fileviewer: <?php echo $file?> + <?php echo pathinfo($file, PATHINFO_FILENAME)?> - webgrind - fileviewer: <?php echo $file?> </title> <script type="text/javascript" charset="utf-8"> $(document).ready(function() { |