PHP: Getting a php files last modified date?

How do i do it?

Code:

---

echo "Last modified: ".date ("F d Y H:i:s.", getlastmod());

---