Don't explicitly require deprecated core extensions

Is there a reason why these files are required and monetize/core_extensions is required from money/money? Shouldn't it be one or the other?