Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  c6667ae795f37dc73e688cd46cf4e4297d939410

Hide who edited a post.

Who is allowed to edit a post is still to be decided.  Because it
is undecided who edited a post last is not part of the current design.

Change-Id: I650cdbdbcf88dda824dfa13d33811d20b682b6af