Makes TimerWidget LabelWidget-based for better customizability. Sets defaults for LabelWidget in metrics.yaml.
Makes ButtonWidget and Widgets based on it more customizable, sets defaults in metrics.yaml.
Moves defaults for HotkeyEntryWidget to global settings in metrics.yaml.
Moves TextFieldWidget defaults to metrics.yaml.
Disables ButtonWidget contrast default (accidental left-over from testing).
Moved duplicated int2 in ButtonWidget before if as suggested.
Moved duplicate float2 before if as suggested.
Adds improved UI customizability to changelog.
var instead of SpriteFont on TimerWidget.
Added 2 settings for unit health bars: always show unit health, and team health bar colors
Merge pull request #4054 from cjshmyr/healthbars

Added 2 new settings for unit health bars (fixes #3867)
Merge pull request #4156 from reaperrr/widgets04

Improved Widget text customizability rev.2
Disable language selector.
Disable IRC chat in the server browser.
Add server filter checkboxes to C&C.
Merge pull request #4177 from pchote/disable-stuff

Remove language selector and IRC chat from the visible game UI.
Add husk for V19 (oil pump)
Move DeployTransform logic into its own method, and remove its CancelActivity call so it works properly when queued
Remove MustBeDestroyed from ^TechBuilding
Add a function to World for setting just the local pause state, and add a lock variable to prevent further pause state changes