Option to not merge require-dev sections #85
Description
For MediaWiki extensions, "require" contains the dependencies that should be merged into the main MediaWiki core vendor bundle, while "require-dev" are for the local repository and not meant to be merged/used by MediaWiki. It becomes problematic when different extensions have incompatible development dependency versions.