// js_FileDate.php
// By Mark A. Agius, (c) 16/10/2011 - 10:00pm bst
// Get and return the date a file was last saved.

// Syntax:
//   <SCRIPT LANGUAGE="JavaScript" SRC="js_FileDate.php?File=FilePathName.htm"></SCRIPT>
//   FileUploadedDate = the date of the file if found.

FileUploadedDate = "File not found.";
FileDateFound    = false;
FilePathName     = undefined; // Reset value to 'undefined', as value may be set when calling script with a valid file.

FileUploadedDate = "5/10/2017 - 8:01pm <SMALL><I>(bst)</I></SMALL>";
FileDateFound    = true;
FilePathName     = "versions/WebWindow_Install.exe";