Last modified: 2012-10-23 20:03:26 UTC
Currently null edits (https://en.wikipedia.org/wiki/Wikipedia:NULLEDIT#Null_edit) produce a PostEdit message. This is not a huge problem from the immediate perspective of a user who may have tried to edit a page, since they did technically save their edit even if nothing was changed. However, it is slightly confusing considering that null edits do not produce a new revision in the history. _If it's not a big pain_, we should consider detecting null edits and not show PostEdit.
Not a big pain. The ArticleSaveComplete hook sets the $revision parameter to null on null edits: http://www.mediawiki.org/wiki/Manual:Hooks/ArticleSaveComplete I'll fix.
Gerrit change #29642.