# choose profile to use (`in-portal.full` or `in-portal.community`)
# checkout In-Portal 5.1.x using chosen profile
# checkout In-Portal 5.3.x via `in-portal` module and then run `php /tools/configure_profile.php profile_name` script using chosen profile
# install In-Portal 5.1.x
# copy over `/system/config.php` file from In-Portal 5.1.x installation to In-Portal 5.3.x installation
# open `/core/install.php` in the In-Portal 5.3.x installation
# confirm, that there are no JS errors and CSS is correctly loaded (the FireBug can be used for that)
# don't continue with installation