wikimedia / mediawiki

				}

				$accum .= '<ext>';

				if ( $attrEnd <= $attrStart ) {

					$attr = '';

				} else {

					$attr = substr( $text, $attrStart, $attrEnd - $attrStart );

				}

				$accum .= '<name>' . htmlspecialchars( $name ) . '</name>' .

					// Note that the attr element contains the whitespace between name and attribute,

					// this is necessary for precise reconstruction during pre-save transform.

					continue;

				}

				if ( $attrEnd <= $attrStart ) {

					$attr = '';

				} else {

					// Note that the attr element contains the whitespace between name and attribute,

					// this is necessary for precise reconstruction during pre-save transform.

					$attr = substr( $text, $attrStart, $attrEnd - $attrStart );

				}

				$children = [

					[ 'name', [ $name ] ],