Report from a customer:
Theme editor is not working when Redis cache is enabled, works once I disable it with define( 'WP_REDIS_DISABLED', true );. Any thoughts?
I tried to clear object cache but not helped, have to disable it to get the theme editor work when editing PHP files.
Needs investigation.