WP Job Manager - support jobs page

function pm_fix_jobs_wp_query($query, $old_query, $uri_parts, $pm_query, $content_type) {
    $jobs_page_id = get_option('job_manager_jobs_page_id');

    if(!empty($pm_query['id']) && !empty($jobs_page_id) && $jobs_page_id == $pm_query['id']) {
        return $old_query;
    }
}
add_filter('permalink_manager_filter_query', 'pm_fix_jobs_wp_query', 3, 5);