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