MediaWiki  1.32.0
RemexCompatMunger.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Tidy;
4 
5 use RemexHtml\HTMLData;
6 use RemexHtml\Serializer\Serializer;
7 use RemexHtml\Serializer\SerializerNode;
8 use RemexHtml\Tokenizer\Attributes;
9 use RemexHtml\Tokenizer\PlainAttributes;
10 use RemexHtml\TreeBuilder\TreeBuilder;
11 use RemexHtml\TreeBuilder\TreeHandler;
12 use RemexHtml\TreeBuilder\Element;
13 
17 class RemexCompatMunger implements TreeHandler {
18  private static $onlyInlineElements = [
19  "a" => true,
20  "abbr" => true,
21  "acronym" => true,
22  "applet" => true,
23  "b" => true,
24  "basefont" => true,
25  "bdo" => true,
26  "big" => true,
27  "br" => true,
28  "button" => true,
29  "cite" => true,
30  "code" => true,
31  "del" => true,
32  "dfn" => true,
33  "em" => true,
34  "font" => true,
35  "i" => true,
36  "iframe" => true,
37  "img" => true,
38  "input" => true,
39  "ins" => true,
40  "kbd" => true,
41  "label" => true,
42  "legend" => true,
43  "map" => true,
44  "object" => true,
45  "param" => true,
46  "q" => true,
47  "rb" => true,
48  "rbc" => true,
49  "rp" => true,
50  "rt" => true,
51  "rtc" => true,
52  "ruby" => true,
53  "s" => true,
54  "samp" => true,
55  "select" => true,
56  "small" => true,
57  "span" => true,
58  "strike" => true,
59  "strong" => true,
60  "sub" => true,
61  "sup" => true,
62  "textarea" => true,
63  "tt" => true,
64  "u" => true,
65  "var" => true,
66  // Those defined in tidy.conf
67  "video" => true,
68  "audio" => true,
69  "bdi" => true,
70  "data" => true,
71  "time" => true,
72  "mark" => true,
73  ];
74 
75  private static $formattingElements = [
76  'a' => true,
77  'b' => true,
78  'big' => true,
79  'code' => true,
80  'em' => true,
81  'font' => true,
82  'i' => true,
83  'nobr' => true,
84  's' => true,
85  'small' => true,
86  'strike' => true,
87  'strong' => true,
88  'tt' => true,
89  'u' => true,
90  ];
91 
93  private $serializer;
94 
96  private $trace;
97 
102  public function __construct( Serializer $serializer, $trace = false ) {
103  $this->serializer = $serializer;
104  $this->trace = $trace;
105  }
106 
107  public function startDocument( $fragmentNamespace, $fragmentName ) {
108  $this->serializer->startDocument( $fragmentNamespace, $fragmentName );
109  $root = $this->serializer->getRootNode();
110  $root->snData = new RemexMungerData;
111  $root->snData->needsPWrapping = true;
112  }
113 
114  public function endDocument( $pos ) {
115  $this->serializer->endDocument( $pos );
116  }
117 
118  private function getParentForInsert( $preposition, $refElement ) {
119  if ( $preposition === TreeBuilder::ROOT ) {
120  return [ $this->serializer->getRootNode(), null ];
121  } elseif ( $preposition === TreeBuilder::BEFORE ) {
122  $refNode = $refElement->userData;
123  return [ $this->serializer->getParentNode( $refNode ), $refNode ];
124  } else {
125  $refNode = $refElement->userData;
126  $refData = $refNode->snData;
127  if ( $refData->currentCloneElement ) {
128  // Follow a chain of clone links if necessary
129  $origRefData = $refData;
130  while ( $refData->currentCloneElement ) {
131  $refElement = $refData->currentCloneElement;
132  $refNode = $refElement->userData;
133  $refData = $refNode->snData;
134  }
135  // Cache the end of the chain in the requested element
136  $origRefData->currentCloneElement = $refElement;
137  } elseif ( $refData->childPElement ) {
138  $refElement = $refData->childPElement;
139  $refNode = $refElement->userData;
140  }
141  return [ $refNode, $refNode ];
142  }
143  }
144 
152  private function insertPWrapper( SerializerNode $parent, $sourceStart ) {
153  $pWrap = new Element( HTMLData::NS_HTML, 'mw:p-wrap', new PlainAttributes );
154  $this->serializer->insertElement( TreeBuilder::UNDER, $parent, $pWrap, false,
155  $sourceStart, 0 );
156  $data = new RemexMungerData;
157  $data->isPWrapper = true;
158  $data->wrapBaseNode = $parent;
159  $pWrap->userData->snData = $data;
160  $parent->snData->childPElement = $pWrap;
161  return $pWrap->userData;
162  }
163 
164  public function characters( $preposition, $refElement, $text, $start, $length,
165  $sourceStart, $sourceLength
166  ) {
167  $isBlank = strspn( $text, "\t\n\f\r ", $start, $length ) === $length;
168 
169  list( $parent, $refNode ) = $this->getParentForInsert( $preposition, $refElement );
170  $parentData = $parent->snData;
171 
172  if ( $preposition === TreeBuilder::UNDER ) {
173  if ( $parentData->needsPWrapping && !$isBlank ) {
174  // Add a p-wrapper for bare text under body/blockquote
175  $refNode = $this->insertPWrapper( $refNode, $sourceStart );
176  $parent = $refNode;
177  $parentData = $parent->snData;
178  } elseif ( $parentData->isSplittable && !$parentData->ancestorPNode ) {
179  // The parent is splittable and in block mode, so split the tag stack
180  $refNode = $this->splitTagStack( $refNode, true, $sourceStart );
181  $parent = $refNode;
182  $parentData = $parent->snData;
183  }
184  }
185 
186  if ( !$isBlank ) {
187  // Non-whitespace characters detected
188  $parentData->nonblankNodeCount++;
189  }
190  $this->serializer->characters( $preposition, $refNode, $text, $start,
191  $length, $sourceStart, $sourceLength );
192  }
193 
194  private function trace( $msg ) {
195  if ( $this->trace ) {
196  wfDebug( "[RCM] $msg" );
197  }
198  }
199 
253  public function insertElement( $preposition, $refElement, Element $element, $void,
254  $sourceStart, $sourceLength
255  ) {
256  list( $parent, $newRef ) = $this->getParentForInsert( $preposition, $refElement );
257  $parentData = $parent->snData;
258  $elementName = $element->htmlName;
259 
260  $inline = isset( self::$onlyInlineElements[$elementName] );
261  $under = $preposition === TreeBuilder::UNDER;
262  $elementToEnd = null;
263 
264  if ( $under && $parentData->isPWrapper && !$inline ) {
265  // [B/b] The element is non-inline and the parent is a p-wrapper,
266  // close the parent and insert into its parent instead
267  $this->trace( 'insert B/b' );
268  $newParent = $this->serializer->getParentNode( $parent );
269  $parent = $newParent;
270  $parentData = $parent->snData;
271  $pElement = $parentData->childPElement;
272  $parentData->childPElement = null;
273  $newRef = $refElement->userData;
274  } elseif ( $under && $parentData->isSplittable
275  && (bool)$parentData->ancestorPNode !== $inline
276  ) {
277  // [CS/b, DS/i] The parent is splittable and the current element is
278  // inline in block context, or if the current element is a block
279  // under a p-wrapper, split the tag stack.
280  $this->trace( $inline ? 'insert DS/i' : 'insert CS/b' );
281  $newRef = $this->splitTagStack( $newRef, $inline, $sourceStart );
282  $parent = $newRef;
283  $parentData = $parent->snData;
284  } elseif ( $under && $parentData->needsPWrapping && $inline ) {
285  // [A/i] If the element is inline and we are in body/blockquote,
286  // we need to create a p-wrapper
287  $this->trace( 'insert A/i' );
288  $newRef = $this->insertPWrapper( $newRef, $sourceStart );
289  $parent = $newRef;
290  $parentData = $parent->snData;
291  } elseif ( $parentData->ancestorPNode && !$inline ) {
292  // [CU/b] If the element is non-inline and (despite attempting to
293  // split above) there is still an ancestor p-wrap, disable that
294  // p-wrap
295  $this->trace( 'insert CU/b' );
296  $this->disablePWrapper( $parent, $sourceStart );
297  } else {
298  // [A/b, B/i, C/i, D/b, DU/i] insert as normal
299  $this->trace( 'insert normal' );
300  }
301 
302  // An element with element children is a non-blank element
303  $parentData->nonblankNodeCount++;
304 
305  // Insert the element downstream and so initialise its userData
306  $this->serializer->insertElement( $preposition, $newRef,
307  $element, $void, $sourceStart, $sourceLength );
308 
309  // Initialise snData
310  if ( !$element->userData->snData ) {
311  $elementData = $element->userData->snData = new RemexMungerData;
312  } else {
313  $elementData = $element->userData->snData;
314  }
315  if ( ( $parentData->isPWrapper || $parentData->isSplittable )
316  && isset( self::$formattingElements[$elementName] )
317  ) {
318  $elementData->isSplittable = true;
319  }
320  if ( $parentData->isPWrapper ) {
321  $elementData->ancestorPNode = $parent;
322  } elseif ( $parentData->ancestorPNode ) {
323  $elementData->ancestorPNode = $parentData->ancestorPNode;
324  }
325  if ( $parentData->wrapBaseNode ) {
326  $elementData->wrapBaseNode = $parentData->wrapBaseNode;
327  } elseif ( $parentData->needsPWrapping ) {
328  $elementData->wrapBaseNode = $parent;
329  }
330  if ( $elementName === 'body'
331  || $elementName === 'blockquote'
332  || $elementName === 'html'
333  ) {
334  $elementData->needsPWrapping = true;
335  }
336  }
337 
346  private function splitTagStack( SerializerNode $parentNode, $inline, $pos ) {
347  $parentData = $parentNode->snData;
348  $wrapBase = $parentData->wrapBaseNode;
349  $pWrap = $parentData->ancestorPNode;
350  if ( !$pWrap ) {
351  $cloneEnd = $wrapBase;
352  } else {
353  $cloneEnd = $parentData->ancestorPNode;
354  }
355 
357  $node = $parentNode;
358  $root = $serializer->getRootNode();
359  $nodes = [];
360  $removableNodes = [];
361  while ( $node !== $cloneEnd ) {
362  $nextParent = $serializer->getParentNode( $node );
363  if ( $nextParent === $root ) {
364  throw new \Exception( 'Did not find end of clone range' );
365  }
366  $nodes[] = $node;
367  if ( $node->snData->nonblankNodeCount === 0 ) {
368  $removableNodes[] = $node;
369  $nextParent->snData->nonblankNodeCount--;
370  }
371  $node = $nextParent;
372  }
373 
374  if ( $inline ) {
375  $pWrap = $this->insertPWrapper( $wrapBase, $pos );
376  $node = $pWrap;
377  } else {
378  if ( $pWrap ) {
379  // End the p-wrap which was open, cancel the diversion
380  $wrapBase->snData->childPElement = null;
381  }
382  $pWrap = null;
383  $node = $wrapBase;
384  }
385 
386  for ( $i = count( $nodes ) - 1; $i >= 0; $i-- ) {
387  $oldNode = $nodes[$i];
388  $oldData = $oldNode->snData;
389  $nodeParent = $node;
390  $element = new Element( $oldNode->namespace, $oldNode->name, $oldNode->attrs );
391  $this->serializer->insertElement( TreeBuilder::UNDER, $nodeParent,
392  $element, false, $pos, 0 );
393  $oldData->currentCloneElement = $element;
394 
395  $newNode = $element->userData;
396  $newData = $newNode->snData = new RemexMungerData;
397  if ( $pWrap ) {
398  $newData->ancestorPNode = $pWrap;
399  }
400  $newData->isSplittable = true;
401  $newData->wrapBaseNode = $wrapBase;
402  $newData->isPWrapper = $oldData->isPWrapper;
403 
404  $nodeParent->snData->nonblankNodeCount++;
405 
406  $node = $newNode;
407  }
408  foreach ( $removableNodes as $rNode ) {
409  $fakeElement = new Element( $rNode->namespace, $rNode->name, $rNode->attrs );
410  $fakeElement->userData = $rNode;
411  $this->serializer->removeNode( $fakeElement, $pos );
412  }
413  return $node;
414  }
415 
420  private function disablePWrapper( SerializerNode $node, $sourceStart ) {
421  $nodeData = $node->snData;
422  $pWrapNode = $nodeData->ancestorPNode;
423  $newParent = $this->serializer->getParentNode( $pWrapNode );
424  if ( $pWrapNode !== $this->serializer->getLastChild( $newParent ) ) {
425  // Fostering or something? Abort!
426  return;
427  }
428 
429  $nextParent = $node;
430  do {
431  $victim = $nextParent;
432  $victim->snData->ancestorPNode = null;
433  $nextParent = $this->serializer->getParentNode( $victim );
434  } while ( $nextParent !== $pWrapNode );
435 
436  // Make a fake Element to use in a reparenting operation
437  $victimElement = new Element( $victim->namespace, $victim->name, $victim->attrs );
438  $victimElement->userData = $victim;
439 
440  // Reparent
441  $this->serializer->insertElement( TreeBuilder::UNDER, $newParent, $victimElement,
442  false, $sourceStart, 0 );
443 
444  // Decrement nonblank node count
445  $pWrapNode->snData->nonblankNodeCount--;
446 
447  // Cancel the diversion so that no more elements are inserted under this p-wrap
448  $newParent->snData->childPElement = null;
449  }
450 
451  public function endTag( Element $element, $sourceStart, $sourceLength ) {
452  $data = $element->userData->snData;
453  if ( $data->childPElement ) {
454  $this->endTag( $data->childPElement, $sourceStart, 0 );
455  }
456  $this->serializer->endTag( $element, $sourceStart, $sourceLength );
457  $element->userData->snData = null;
458  $element->userData = null;
459  }
460 
461  public function doctype( $name, $public, $system, $quirks, $sourceStart, $sourceLength ) {
462  $this->serializer->doctype( $name, $public, $system, $quirks,
463  $sourceStart, $sourceLength );
464  }
465 
466  public function comment( $preposition, $refElement, $text, $sourceStart, $sourceLength ) {
467  list( $parent, $refNode ) = $this->getParentForInsert( $preposition, $refElement );
468  $this->serializer->comment( $preposition, $refNode, $text,
469  $sourceStart, $sourceLength );
470  }
471 
472  public function error( $text, $pos ) {
473  $this->serializer->error( $text, $pos );
474  }
475 
476  public function mergeAttributes( Element $element, Attributes $attrs, $sourceStart ) {
477  $this->serializer->mergeAttributes( $element, $attrs, $sourceStart );
478  }
479 
480  public function removeNode( Element $element, $sourceStart ) {
481  $this->serializer->removeNode( $element, $sourceStart );
482  }
483 
484  public function reparentChildren( Element $element, Element $newParent, $sourceStart ) {
485  $self = $element->userData;
486  if ( $self->snData->childPElement ) {
487  // Reparent under the p-wrapper instead, so that e.g.
488  // <blockquote><mw:p-wrap>...</mw:p-wrap></blockquote>
489  // becomes
490  // <blockquote><mw:p-wrap><i>...</i></mw:p-wrap></blockquote>
491 
492  // The formatting element should not be the parent of the p-wrap.
493  // Without this special case, the insertElement() of the <i> below
494  // would be diverted into the p-wrapper, causing infinite recursion
495  // (T178632)
496  $this->reparentChildren( $self->snData->childPElement, $newParent, $sourceStart );
497  return;
498  }
499 
500  $children = $self->children;
501  $self->children = [];
502  $this->insertElement( TreeBuilder::UNDER, $element, $newParent, false, $sourceStart, 0 );
503  $newParentNode = $newParent->userData;
504  $newParentId = $newParentNode->id;
505  foreach ( $children as $child ) {
506  if ( is_object( $child ) ) {
507  $this->trace( "reparent <{$child->name}>" );
508  $child->parentId = $newParentId;
509  }
510  }
511  $newParentNode->children = $children;
512  }
513 }
MediaWiki\Tidy\RemexCompatMunger
Definition: RemexCompatMunger.php:17
MediaWiki\Tidy\RemexCompatMunger\characters
characters( $preposition, $refElement, $text, $start, $length, $sourceStart, $sourceLength)
Definition: RemexCompatMunger.php:164
captcha-old.count
count
Definition: captcha-old.py:249
MediaWiki\Tidy\RemexCompatMunger\endTag
endTag(Element $element, $sourceStart, $sourceLength)
Definition: RemexCompatMunger.php:451
MediaWiki\Tidy\RemexCompatMunger\mergeAttributes
mergeAttributes(Element $element, Attributes $attrs, $sourceStart)
Definition: RemexCompatMunger.php:476
php
injection txt This is an overview of how MediaWiki makes use of dependency injection The design described here grew from the discussion of RFC T384 The term dependency this means that anything an object needs to operate should be injected from the the object itself should only know narrow no concrete implementation of the logic it relies on The requirement to inject everything typically results in an architecture that based on two main types of and essentially stateless service objects that use other service objects to operate on the value objects As of the beginning MediaWiki is only starting to use the DI approach Much of the code still relies on global state or direct resulting in a highly cyclical dependency which acts as the top level factory for services in MediaWiki which can be used to gain access to default instances of various services MediaWikiServices however also allows new services to be defined and default services to be redefined Services are defined or redefined by providing a callback the instantiator that will return a new instance of the service When it will create an instance of MediaWikiServices and populate it with the services defined in the files listed by thereby bootstrapping the DI framework Per $wgServiceWiringFiles lists includes ServiceWiring php
Definition: injection.txt:35
MediaWiki\Tidy\RemexCompatMunger\$onlyInlineElements
static $onlyInlineElements
Definition: RemexCompatMunger.php:18
MediaWiki\Tidy\RemexCompatMunger\startDocument
startDocument( $fragmentNamespace, $fragmentName)
Definition: RemexCompatMunger.php:107
MediaWiki\Tidy\RemexCompatMunger\doctype
doctype( $name, $public, $system, $quirks, $sourceStart, $sourceLength)
Definition: RemexCompatMunger.php:461
MediaWiki\Tidy\RemexCompatMunger\$trace
bool $trace
Definition: RemexCompatMunger.php:96
MediaWiki\Tidy\RemexCompatMunger\error
error( $text, $pos)
Definition: RemexCompatMunger.php:472
use
as see the revision history and available at free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to use
Definition: MIT-LICENSE.txt:10
MediaWiki\Tidy\RemexCompatMunger\insertElement
insertElement( $preposition, $refElement, Element $element, $void, $sourceStart, $sourceLength)
Insert or reparent an element.
Definition: RemexCompatMunger.php:253
MediaWiki\Tidy\RemexCompatMunger\$serializer
Serializer $serializer
Definition: RemexCompatMunger.php:93
wfDebug
wfDebug( $text, $dest='all', array $context=[])
Sends a line to the debug log if enabled or, optionally, to a comment in output.
Definition: GlobalFunctions.php:988
list
deferred txt A few of the database updates required by various functions here can be deferred until after the result page is displayed to the user For updating the view updating the linked to tables after a etc PHP does not yet have any way to tell the server to actually return and disconnect while still running these but it might have such a feature in the future We handle these by creating a deferred update object and putting those objects on a global list
Definition: deferred.txt:11
$name
Allows to change the fields on the form that will be generated $name
Definition: hooks.txt:302
MediaWiki\Tidy\RemexCompatMunger\trace
trace( $msg)
Definition: RemexCompatMunger.php:194
MediaWiki\Tidy\RemexCompatMunger\getParentForInsert
getParentForInsert( $preposition, $refElement)
Definition: RemexCompatMunger.php:118
MediaWiki\Tidy\RemexCompatMunger\splitTagStack
splitTagStack(SerializerNode $parentNode, $inline, $pos)
Clone nodes in a stack range and return the new parent.
Definition: RemexCompatMunger.php:346
MediaWiki\Tidy\RemexCompatMunger\$formattingElements
static $formattingElements
Definition: RemexCompatMunger.php:75
MediaWiki\Tidy\RemexCompatMunger\removeNode
removeNode(Element $element, $sourceStart)
Definition: RemexCompatMunger.php:480
$self
$self
Definition: doMaintenance.php:55
$parent
$parent
Definition: pageupdater.txt:71
MediaWiki\Tidy\RemexCompatMunger\insertPWrapper
insertPWrapper(SerializerNode $parent, $sourceStart)
Insert a p-wrapper.
Definition: RemexCompatMunger.php:152
MediaWiki\Tidy\RemexCompatMunger\disablePWrapper
disablePWrapper(SerializerNode $node, $sourceStart)
Find the ancestor of $node which is a child of a p-wrapper, and reparent that node so that it is plac...
Definition: RemexCompatMunger.php:420
MediaWiki\Tidy\RemexCompatMunger\endDocument
endDocument( $pos)
Definition: RemexCompatMunger.php:114
as
This document is intended to provide useful advice for parties seeking to redistribute MediaWiki to end users It s targeted particularly at maintainers for Linux since it s been observed that distribution packages of MediaWiki often break We ve consistently had to recommend that users seeking support use official tarballs instead of their distribution s and this often solves whatever problem the user is having It would be nice if this could such as
Definition: distributors.txt:9
MediaWiki\Tidy\RemexCompatMunger\comment
comment( $preposition, $refElement, $text, $sourceStart, $sourceLength)
Definition: RemexCompatMunger.php:466
MediaWiki\Tidy\RemexMungerData
Definition: RemexMungerData.php:8
MediaWiki\Tidy
Definition: RaggettBase.php:3
MediaWiki\Tidy\RemexCompatMunger\__construct
__construct(Serializer $serializer, $trace=false)
Definition: RemexCompatMunger.php:102
MediaWiki\Tidy\RemexCompatMunger\reparentChildren
reparentChildren(Element $element, Element $newParent, $sourceStart)
Definition: RemexCompatMunger.php:484