1*8c35d5eeSXin Li<!DOCTYPE html> 2*8c35d5eeSXin Li<html> 3*8c35d5eeSXin Li<head> 4*8c35d5eeSXin Li <meta charset="utf8"> 5*8c35d5eeSXin Li <meta http-equiv="content-type" content="text/html;charset=utf-8"> 6*8c35d5eeSXin Li <meta http-equiv="refresh" content="1; url=jsoncstyleguide.xml"> 7*8c35d5eeSXin Li <title>Redirecting</title> 8*8c35d5eeSXin Li</head> 9*8c35d5eeSXin Li<!-- The BODY onLoad redirect is the best: it preserves #fragments and 10*8c35d5eeSXin Li ?queries. But it requires javascript. If that fails, the 11*8c35d5eeSXin Li meta-refresh kicks in; it works more generally, but loses fragments 12*8c35d5eeSXin Li and queries, takes a second, and pollutes the browser history. 13*8c35d5eeSXin Li If they both fail, we let the user manually click on the new link. 14*8c35d5eeSXin Li--> 15*8c35d5eeSXin Li <body onload="location.replace(location.href.replace('.html', '.xml'))"> 16*8c35d5eeSXin Li Redirecting you to <a href="jsoncstyleguide.xml">jsoncstyleguide.xml</a>. 17*8c35d5eeSXin Li</body> 18*8c35d5eeSXin Li</html> 19