<?php
$u_time = the_time('U');
$u_modified_time = the_modified_time('U');
if ($u_modified_time > $u_time) {
echo "[UPDATED] "; the_modified_time('F j, Y'); echo " at "; the_modified_time(); echo " EST";}
else {
echo "[PUBLISHED] "; the_time('M jS Y'); echo " at "; the_time(); echo " EST"; }
?>