Manual:$wgVectorUseIconWatch/de-formal

Details
Watch and unwatch as a star icon in the primary navigation (rather than a link inside the actions dropdown menu):


 * true = use a watch/unwatch icon button
 * false = use watch/unwatch text link