Update config.php

just to test if there might be an alias setup on the server hiding the true path of the /demos-php and /dist-php directories.