This change allows Docker users to set the server URL by setting the SERVER_URL environment variable. This is done in the same way as the database and mail settings.
Ira W. Snyder