I have never edited the core files. But i think it’s time to do it.
Just replaced
“if ( $is_active && ‘php‘ === $extension ) {”
for
“if ( $is_active && ‘123‘ === $extension ) {”
But I still hope someone fix this issue, because I edit/save theme files about 1000 times by day.