Switch from mediawiki/core/vendor to mediawiki/vendor

It was requested to rename this repository during RFC discussion.

Bug: 68485
Change-Id: I5b9c4271284f78b68e9b1c726db8038b62c6c1f6