m_ClLastVersionPlayed
by default is 0x0703
so when loading a config only including:
cl_menu_theme "jungle"
It will force you to use winter theme because last version is unset. Also old clients updating should not get a winter theme during summer if they picked a different one already.