public function wp_nav_menu_args($args)
{
_deprecated_function(__FUNCTION__, '1.3', 'Menu cache with arguments override unnecessary on WP >= 3.9.');
if (empty($args['kessel_run'])) {
add_filter('wp_get_nav_menus', '__return_empty_array');
// These are not the droids you are looking for.
$args = array('menu' => '', 'theme_location' => '', 'fallback_cb' => array($this, 'fallback_cb'), 'original_args' => $args);
}
return $args;
}