380
385
$string = preg_replace('#'.preg_quote('<section xml:id="'.$i.'">').'.*?</section>#s', '', $string);
382
387
echo "reading documentation from {$file->getPathname()}\n";
385
390
if ( $file->getFilename() == 'versions.xml' ) {
386
391
foreach ( $xml->xpath('/versions/function') as $f ) {