// Re-insert source as (formatted) textarea
foreach( $theSources[2] as $sourceID => $sourceBlock ) {
$theBrush =
$theSources[1][$sourceID].$optionString;
$thePost = str_replace(
”{sourceID:{$sourceID}}”,
sprintf( $textArea, $theBrush, $syntaxOptions[’syntaxCols’], $syntaxOptions[’syntaxRows’], $sourceBlock ),
$thePost
);
}