Merge "docs: Ignore extensions/ and skins/ in mwdocgen.php by default"