Website updated (new PHP version, security patches, bug fixes, etc.).