[22:53:44] Krinkle: Do we still need $wgStyleVersion? :P [22:53:54] CommonSettings has this amusing addition [22:53:54] # Style version appendix [22:53:54] # Shouldn't be needed much in 1.17 due to ResourceLoader, but some legacy things still need it [22:53:55] $wgStyleVersion .= '-4'; [22:55:19] Plus... [22:55:19] https://github.com/wikimedia/mediawiki/commit/2d55b1670f34dc63ecc9ce4be20f1b04610d191b [22:55:27] It's been 303 for 6 years [22:55:32] I'm guessing it adds little/no value [22:57:58] https://github.com/wikimedia/operations-mediawiki-config/blame/master/wmf-config/CommonSettings.php#L2396 [22:58:01] 6 years too [22:58:05] * Reedy files a task to kill it off [23:00:27] https://phabricator.wikimedia.org/T181318