Extension:PostEdit

From mediawiki.org