raw_source_segments as $s) { if (in_array($i, $db->docs)) { $class = "doc_title"; } else { $class = ""; } $translation = ""; if ($i < $db->progress) { $translation = $db->post_edits_display[$i]; } echo "