Change theme_views_view() to pass along a JSON object instead of a string to theme_header(). Fix issue 2353895 on drupal.org.