//:Displays the last modification time of the current page
//:Use [[ModifiedWhen]]
global $database, $wb;
if (PAGE_ID>0) {
    $query=$database->query("SELECT modified_when FROM ".TABLE_PREFIX."pages where page_id=".PAGE_ID);
    $mod_details=$query->fetchRow();
    return "This page was last modified on ".date("d/m/Y", $mod_details[0]). " at ".date("H:i", $mod_details[0]).".";
}
