Current revision of https://www.mediawiki.org/wiki/Manual:$wgResourceModuleSkinStyles states
[[Skin:Vector|Vector]] is one of the skins using this method, and provides a good '''practical usage demonstration''': https://phabricator.wikimedia.org/diffusion/SVEC/browse/master/skin.json;master$70
However there is no use of wgResourceModuleSkinStyles in current git master in that file.
That line on the wiki page was originally added in 2014 in https://www.mediawiki.org/w/index.php?title=Manual:$wgResourceModuleSkinStyles&type=revision&diff=1083141&oldid=1083135 and linked at that time to Vector.php at https://phabricator.wikimedia.org/source/mediawiki/browse/master/skins/Vector/Vector.php;1ebad72b0b45209ab04562716af0d1ff7b4efda6$66 (which probably got moved to skin.json later).
Should that line just be removed? Or is there a better place to point to?
(Plus hardcoding a line number against everchanging git master is not a good idea.)