Advertisement
Guest User

Untitled

a guest
Mar 30th, 2011
142
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Diff 1.05 KB | None | 0 0
  1. --- mediawiki-1.16.2/includes/parser/Preprocessor_DOM.php 2009-09-03
  2. 17:43:51.000000000 -0700
  3. +++ mediawiki-1.16.2-hphp/includes/parser/Preprocessor_DOM.php 2011-02-23
  4. 15:46:50.969943000 -0800
  5. @@ -1497,7 +1497,7 @@
  6.   * Split a <h> node
  7.   */
  8.  function splitHeading() {
  9. -  if ( !$this->nodeName == 'h' ) {
  10. +  if ( !$this->getName() == 'h' ) {
  11.    throw new MWException( 'Invalid h node passed to ' . __METHOD__ );
  12.   }
  13.   return array(
  14. diff -ur mediawiki-1.16.2/includes/Sanitizer.php
  15. mediawiki-1.16.2-hphp/includes/Sanitizer.php
  16. --- mediawiki-1.16.2/includes/Sanitizer.php 2011-02-01 14:37:22.000000000
  17. -0800
  18. +++ mediawiki-1.16.2-hphp/includes/Sanitizer.php 2011-02-23
  19. 15:37:22.089942001 -0800
  20. @@ -1474,7 +1474,7 @@
  21.   $url = Sanitizer::decodeCharReferences( $url );
  22.  
  23.   # Escape any control characters introduced by the above step
  24. -  $url = preg_replace( '/[\][<>"\\x00-\\x20\\x7F]/e', "urlencode('\\0')",
  25. $url );
  26. +//  $url = preg_replace( '/[\][<>"\\x00-\\x20\\x7F]/e',
  27. "urlencode('\\0')", $url );
  28.  
  29.   # Validate hostname portion
  30.   $matches = array();
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement