Searched refs:convertWhiteSpaceToHTML (Results 1 – 3 of 3) sorted by relevance
771 $context .= $this->convertWhiteSpaceToHTML( $contextBefore );772 $snippet = $this->convertWhiteSpaceToHTML( substr( $text, $index, $len ) );776 $targetq = preg_quote( $this->convertWhiteSpaceToHTML( $target ), '/' );782 $context .= $this->convertWhiteSpaceToHTML( $contextAfter );787 private function convertWhiteSpaceToHTML( $message ) { function in SpecialReplaceText
761 $context .= $this->convertWhiteSpaceToHTML( $contextBefore );762 $snippet = $this->convertWhiteSpaceToHTML( substr( $text, $index, $len ) );766 $targetq = preg_quote( $this->convertWhiteSpaceToHTML( $target ), '/' );771 $context .= $this->convertWhiteSpaceToHTML( $contextAfter );776 private function convertWhiteSpaceToHTML( $message ) { function in SpecialReplaceText
810 $context .= $this->convertWhiteSpaceToHTML( $contextBefore );811 $snippet = $this->convertWhiteSpaceToHTML( substr( $text, $index, $len ) );815 $targetq = preg_quote( $this->convertWhiteSpaceToHTML( $target ), '/' );821 $context .= $this->convertWhiteSpaceToHTML( $contextAfter );826 private function convertWhiteSpaceToHTML( $message ) { function in MediaWiki\\Extension\\ReplaceText\\SpecialReplaceText