'use strict';
/* Change browser location to url, unless it doesn't exist,
then jump to fallbackUrl.
Detecting of url uses AJAX and will only work on the same domain. */
function cgeChangeLocation(url, fallbackUrl)
{
var ajax = jQuery.ajax({
type: "get",
url: url,
cache: false
});
ajax.done(function() {
window.location = url;
});
ajax.fail(function() {
window.location = fallbackUrl;
});
}
/* Append a form to switch API docs between various engine versions. */
jQuery(document).ready(function() {
var versionsForm = jQuery(`
`);
var versionSelect = versionsForm.find('#engineVersion');
// add all existing versions to