We just don't declare them here at all. This file is just extending Plinth and as you have already set defaults for these variables, there is no need to change them.

That goes for all variables in this file that are the same as the settings file.