[19:17:26] <wikibugs>	 (03Draft2) 10Zoranzoki21: Remove unused $useHeadElement property from skins [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/422233 (https://phabricator.wikimedia.org/T190575)
[19:36:44] <wikibugs>	 (03CR) 10Umherirrender: [C: 032] Remove unused $useHeadElement property from skins [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/422233 (https://phabricator.wikimedia.org/T190575) (owner: 10Zoranzoki21)
[19:58:40] <wikibugs>	 (03Merged) 10jenkins-bot: Remove unused $useHeadElement property from skins [skins/Refreshed] - 10https://gerrit.wikimedia.org/r/422233 (https://phabricator.wikimedia.org/T190575) (owner: 10Zoranzoki21)