Deleted the last file no longer used by WordPress.

We have deleted the last file that's no longer used by WordPress.