Reset opcache if update is detected
Reset opcache if update is detected

This even works if opcache_reset is in the disabled_functions php.ini setting.

Signed-off-by: Morris Jobke <7f550a9f4c44173a37664d938f1355f0f92a47a7@morrisjobke.de>

michaelletzgus/nextcloud-server,nextcloud/server,andreas-p/nextcloud-server,andreas-p/nextcloud-server,nextcloud/server,pixelipo/server,andreas-p/nextcloud-server,andreas-p/nextcloud-server,pixelipo/server,pixelipo/server,nextcloud/server,andreas-p/nextcloud-server,nextcloud/server,pixelipo/server,michaelletzgus/nextcloud-server,michaelletzgus/nextcloud-server,michaelletzgus/nextcloud-server,pixelipo/server