This is the interface where Document.getElementById() belong. Source-Repo: https://github.com/servo/servo Source-Revision: 4c64c870c63bc41728ccd371e19fc4246427aa2c
13 lines
489 B
Plaintext
13 lines
489 B
Plaintext
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
// https://dom.spec.whatwg.org/#interface-documentfragment
|
|
[Constructor]
|
|
interface DocumentFragment : Node {
|
|
};
|
|
|
|
DocumentFragment implements NonElementParentNode;
|
|
DocumentFragment implements ParentNode;
|