'); } if($enable_code_highlight) { echo(''); } ?> '); } if($enable_code_highlight) { echo(''); } if($enable_kitty_and_doggo_sounds) { echo(''); } if($enable_debug_extras) { echo(''); } ?>