@vigilant_spb: To change that to child theme, you need to dequeue and enqueue it. First, you need to copy catchbox-allmenu-min.js
to your child theme js
directory and then add the following code in your child theme functions.php file.
function catchbox_child_scripts() {
wp_dequeue_script( 'catchbox-allmenu' );
wp_enqueue_script('catchbox-child-allmenu', get_stylesheet_directory_uri() . '/js/catchbox-allmenu-min.js', array('jquery'), '201301503', true);
}
add_action( 'wp_enqueue_scripts', 'catchbox_child_scripts', 20 );