/* @preserve: WARNING: This javascript file in the base1 package is deprecated */
console.warn("Deprecated: " +
             ((new Error()).fileName || "This javascript file").split("/").reverse()[0] +
             " in the Cockpit base1 package is deprecated");
