@cd7 on WordPress.org
Created ticket #10189 on Core Trac:[Opera] [2.81-beta] theme_editor disabled by protective layer