Updated mediawiki/extensions
Project: mediawiki/extensions/Flow  9ede99ac7dffd9d6626f022930163038bccbeeac

Rename flow-board to flow-workflow

The data stored inside a flow-board content handler page uses the key
`board-workflow` to reference the workflow.  Changing to `flow-workflow`
so the name make more sense when it points to a topic and not a full 
board.

Change-Id: I8928d5000e101a51d46149f2de77cfea7356085a