adjust config.platform.php version to 7.2.5 so that we do not run into...

adjust config.platform.php version to 7.2.5 so that we do not run into conflicts when installing another package, re #1569