mint/app/studio/module/editor_toc/language/default.php

<?php
$module_gui_str['editor_toc']['1001']="Content";
$module_gui_str['editor_toc']['1002']="Edit";
$module_gui_str['editor_toc']['1003']="";
$module_gui_str['editor_toc']['1004']="";
$module_gui_str['editor_toc']['1005']="";
$module_gui_str['editor_toc']['1006']="";
$module_gui_str['editor_toc']['1007']="";
$module_gui_str['editor_toc']['1008']="";
$module_gui_str['editor_toc']['1009']="";
$module_gui_str['editor_toc']['1010']="";

$module_gui_str['editor_toc']['2001']="Heading 1";
$module_gui_str['editor_toc']['2002']="Heading 2";
$module_gui_str['editor_toc']['2003']="Heading 3";
$module_gui_str['editor_toc']['2004']="Heading 4";
$module_gui_str['editor_toc']['2005']="Heading 5";
$module_gui_str['editor_toc']['2006']="Heading 6";
$module_gui_str['editor_toc']['2007']="Heading 7";
$module_gui_str['editor_toc']['2008']="Heading 8";
?>