WP_HTML_Active_Formatting_Elements::push( WP_HTML_Token $token )

115	public function push( WP_HTML_Token $token ) {116		/*117		 * > If there are already three elements in the list of active formatting elements after the last marker,118		 * > if any, or anywhere in the list if there are no markers, that have the same tag name, namespace, and119		 * > attributes as element, then remove the earliest such element from the list of active formatting120		 * > elements. For these purposes, the attributes must be compared as they were when the elements were121		 * > created by the parser; two elements have the same attributes if all their parsed attributes can be122		 * > paired such that the two attributes in each pair have identical names, namespaces, and values123		 * > (the order of the attributes does not matter).124		 *125		 * @todo Implement the "Noah's Ark clause" to only add up to three of any given kind of formatting elements to the stack.126		 */127		// > Add element to the list of active formatting elements.128		$this->stack[] = $token;129	}