Update post after inline editing, bug fix dw_postModTime.
Update post after inline editing, bug fix dw_postModTime.

debiki/debiki-server-old,debiki/debiki-server-old,debiki/debiki-server-old,debiki/debiki-server-old