Merge branch 'develop-patch1' into 'develop'

Update installer_base.lib.php

See merge request !3
1 job for !1649 with develop in 8 minutes and 20 seconds (queued for 4 seconds)
latest merge request