Oh hehe right.
True I could copy and paste that function in the index.php and make use of that.
I think alternatively we could simply insert them manually into the ServiceConfiguration.
Since wp-config.php gets them per function anyway
We could enter the value in ServiceConfiguration like this:
<Setting name="AUTH_KEY" value="6v2^mG+$VN`P_9e9KVWkn)}8 Vtdqj?kB7l&kgVcR8i[P/h1dWp9q!(0~ eZ[xTk" />
This guaranties a super unique salt value. :)