php - 用 BR 标签替换换行符，但只在 PRE 标签内

Question

现货PHP5，有什么好preg_replace进行此转换的表达式:

用 <br /> 替换换行符, 但仅限于 <pre> block

(请随意做出简化假设，并忽略极端情况。例如，我们可以假设标签是一行，而不是病态的东西，比如 )

输入文字:

<div><pre class='some class'>1
2
3
</pre>
<pre>line 1
line 2
line 3
</pre>
</div>

输出:

<div><pre>1<br />2<br />3<br /></pre>
<pre>line 1<br />line 2<br />line 3<br /></pre>
</div>

(激励背景:试图解决维基媒体 SyntaxHighlight_GeSHI 扩展中的错误 20760，发现我的 PHP 技能(我主要使用 Python)不合格)。

除了 regexen 之外，我对其他解决方案持开放态度，但首选小型解决方案(例如，构建 html 解析机制就有点过分了)。

Answer 1

是这样的吗？

<?php

$content = "<div><pre class='some class'>1
2
3
</pre>
<pre>line 1
line 2
line 3
</pre>
</div>
";

function getInnerHTML($Node)
{
     $Body = $Node->ownerDocument->documentElement->firstChild->firstChild;
     $Document = new DOMDocument();    
     $Document->appendChild($Document->importNode($Body,true));
     return $Document->saveHTML();
}

$dom = new DOMDocument();
$dom->loadHTML( $content );
$preElements = $dom->getElementsByTagName('pre');

if ( count( $preElements ) ) {
    foreach ( $preElements as $pre ) {
    $value = preg_replace( '/\n|\r\n/', '<br/>', $pre->nodeValue  );
    $pre->nodeValue = $value;
    }

    echo html_entity_decode( getInnerHTML( $dom->documentElement ) );
}