latest; $body = preg_replace("/\*\*/i", "", $latest["body"]); $body = str_replace("Changes:", "", $body); ?>

" . i18n("nightly") . ""); } ?>