The Divi theme was updated to version 3.0, from version 2.7.10.
The first attempt at updating the theme failed. The second was successful.
Andre