Updated mediawiki/extensions Project: mediawiki/extensions/Flow 36a9041b766cdf1ccd93694c298d25ac878215e6
Fix workflow_page_id when board is restored
Re-use most of board-move code. It does pretty much
exactly what is needed to update page_id after restore,
but just can't use Title objects for old page ID (because,
for deleted entries, getArticleId() is unreliable, as it
would return 0).