Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  5f5bc0dd79481f939d58dad004b68b81b30061e2

(bug 56132) Hide hover-over for posts that are being edited

Also: Rename $postContainer to $post, since it is a flow-post,
not a flow-post-container.

Change-Id: I6648f0738210ab913ddc15ccb9bd77dd7f176f82