mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap
synced 2024-12-18 16:50:45 +00:00
15 lines
919 B
PHP
15 lines
919 B
PHP
|
<?php
|
||
|
|
class_alias( "DOMAttr", "Wikimedia\\Parsoid\\DOM\\Attr" );
|
||
|
|
class_alias( "DOMCharacterData", "Wikimedia\\Parsoid\\DOM\\CharacterData" );
|
||
|
|
class_alias( "DOMComment", "Wikimedia\\Parsoid\\DOM\\Comment" );
|
||
|
|
class_alias( "DOMDocument", "Wikimedia\\Parsoid\\DOM\\Document" );
|
||
|
|
class_alias( "DOMDocumentFragment", "Wikimedia\\Parsoid\\DOM\\DocumentFragment" );
|
||
|
|
class_alias( "DOMDocumentType", "Wikimedia\\Parsoid\\DOM\\DocumentType" );
|
||
|
|
class_alias( "DOMDOMException", "Wikimedia\\Parsoid\\DOM\\DOMException" );
|
||
|
|
class_alias( "DOMDOMParser", "Wikimedia\\Parsoid\\DOM\\DOMParser" );
|
||
|
|
class_alias( "DOMElement", "Wikimedia\\Parsoid\\DOM\\Element" );
|
||
|
|
class_alias( "DOMNode", "Wikimedia\\Parsoid\\DOM\\Node" );
|
||
|
|
class_alias( "DOMNodeList", "Wikimedia\\Parsoid\\DOM\\NodeList" );
|
||
|
|
class_alias( "DOMProcessingInstruction", "Wikimedia\\Parsoid\\DOM\\ProcessingInstruction" );
|
||
|
|
class_alias( "DOMText", "Wikimedia\\Parsoid\\DOM\\Text" );
|