(root)/drupal/7-fic : 513 : modules/node/node.pages.inc

<?php

 

/**

 * @file

  if ($preview_trimmed_version) {

    drupal_set_message(t('The trimmed version of your post shows what your post looks like when promoted to the main page or when exported for syndication.<span class="no-js"> You can insert the delimiter "&lt;!--break--&gt;" (without the quotes) to fine-tune where your post gets split.</span>'));

    $output .= '<h3>' . t('Preview trimmed version') . '</h3>';

    $output .= '<h3>' . t('Preview full version') . '</h3>';

  }

  else {

  }

  $output .= "</div>\n";