// This was moved to /external/validation.js
// Deprecate inclusion of this file.
// Aug 2009.