Thread:Project:Support desk/page contents is different from editor contents after restore of a mysqldump/reply

It's possible that an old version of the edit page got cached by the browser, which can happen any other time. Did you try doing a hard refresh?