| <?php | |
| protected function get_custom_customizer_option() { | |
| static $theme_slug = null; | |
| $current_language = self::get_language(); | |
| if ( ! $theme_slug ) { | |
| $theme_slug = get_option( 'template' ); | |
| } | |
| $option_prefix = str_replace( '-', '_', $theme_slug ); | |
| $option_name = $option_prefix . self::get_option_key() . $current_language; |
| /* | |
| Copy this into the console of any web page that is interactive and doesn't | |
| do hard reloads. You will hear your DOM changes as different pitches of | |
| audio. | |
| I have found this interesting for debugging, but also fun to hear web pages | |
| render like UIs do in movies. | |
| */ | |
| const audioCtx = new (window.AudioContext || window.webkitAudioContext)() |
| =\s\(\) => import\([\s\n]*(\/\*.*?\*\/[\s\n]*)?'.*?\.vue'[\s\n]*\) |