If I want to upgrade from latest 7.1 branch, I have to just open centmin menu, select php upgrade and add 7.2.0 version. Nothing to fine tune after or something like that?