Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- mediawiki-1.16.2/includes/parser/Preprocessor_DOM.php 2009-09-03
- 17:43:51.000000000 -0700
- +++ mediawiki-1.16.2-hphp/includes/parser/Preprocessor_DOM.php 2011-02-23
- 15:46:50.969943000 -0800
- @@ -1497,7 +1497,7 @@
- * Split a <h> node
- */
- function splitHeading() {
- - if ( !$this->nodeName == 'h' ) {
- + if ( !$this->getName() == 'h' ) {
- throw new MWException( 'Invalid h node passed to ' . __METHOD__ );
- }
- return array(
- diff -ur mediawiki-1.16.2/includes/Sanitizer.php
- mediawiki-1.16.2-hphp/includes/Sanitizer.php
- --- mediawiki-1.16.2/includes/Sanitizer.php 2011-02-01 14:37:22.000000000
- -0800
- +++ mediawiki-1.16.2-hphp/includes/Sanitizer.php 2011-02-23
- 15:37:22.089942001 -0800
- @@ -1474,7 +1474,7 @@
- $url = Sanitizer::decodeCharReferences( $url );
- # Escape any control characters introduced by the above step
- - $url = preg_replace( '/[\][<>"\\x00-\\x20\\x7F]/e', "urlencode('\\0')",
- $url );
- +// $url = preg_replace( '/[\][<>"\\x00-\\x20\\x7F]/e',
- "urlencode('\\0')", $url );
- # Validate hostname portion
- $matches = array();
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement