https://github.com/wikimedia/mediawiki-extensions-DumpHTML/blob/master/dumpHTML.inc#L628-L631
Skins are explicitly copied out, when they might not actually exist in the skins directory after them all being moved out of core
Version: unspecified
Severity: normal