Retired obsolete Javascript.