Sync with mediaWiki ok