diff options
author | Brian Picciano <mediocregopher@gmail.com> | 2022-09-13 12:56:08 +0200 |
---|---|---|
committer | Brian Picciano <mediocregopher@gmail.com> | 2022-09-13 12:56:08 +0200 |
commit | 4f01edb9230f58ff84b0dd892c931ec8ac9aad55 (patch) | |
tree | 9c1598a3f98203913ac2548883c02a81deb33dc7 /srv/src/http/static/viz/2/goog/dom/htmlelement.js | |
parent | 5485984e05aebde22819adebfbd5ad51475a6c21 (diff) |
move src out of srv, clean up default.nix and Makefile
Diffstat (limited to 'srv/src/http/static/viz/2/goog/dom/htmlelement.js')
-rw-r--r-- | srv/src/http/static/viz/2/goog/dom/htmlelement.js | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/srv/src/http/static/viz/2/goog/dom/htmlelement.js b/srv/src/http/static/viz/2/goog/dom/htmlelement.js deleted file mode 100644 index c48f753..0000000 --- a/srv/src/http/static/viz/2/goog/dom/htmlelement.js +++ /dev/null @@ -1,29 +0,0 @@ -// Copyright 2017 The Closure Library Authors. All Rights Reserved. -// -// Licensed under the Apache License, Version 2.0 (the "License"); -// you may not use this file except in compliance with the License. -// You may obtain a copy of the License at -// -// http://www.apache.org/licenses/LICENSE-2.0 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS-IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. - -goog.provide('goog.dom.HtmlElement'); - - - -/** - * This subclass of HTMLElement is used when only a HTMLElement is possible and - * not any of its subclasses. Normally, a type can refer to an instance of - * itself or an instance of any subtype. More concretely, if HTMLElement is used - * then the compiler must assume that it might still be e.g. HTMLScriptElement. - * With this, the type check knows that it couldn't be any special element. - * - * @constructor - * @extends {HTMLElement} - */ -goog.dom.HtmlElement = function() {}; |