Switch to use MediaWiki's built-in messages for post-edit notifications

Bug: 52871
Change-Id: Ibb56fc298c2116c071bf4ed910d175282dcdb741