Author: swalling
Description:
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.
Version: unspecified
Severity: minor