Background
With T332541 close to resolution, it's time to deprecate and remove mediawiki.ui variables.
Goal
A single source of truth has been established with mediawiki.skin.variables, which features several benefits over mediawiki.ui variables.
Let's deprecate and remove former file.
Note, in contrast to resources defined in resources.php, we need to rely on manual work and only comments with Less files.
Acceptance criteria
- Deprecate mediawiki.ui/variables.less file, done in MW-1.41.0
- Remove one MW version later, targeted for MW-1.42.0