add: var i; 
context: function ShuffleRecentMenu(curUrl){  // This function simply saves the remaining items (from entry 2 and beyond) to the prefs file.  var historyCount = 10;  // This will be changed by the next line, but if they don't have that pref, this is a good default  try { historyCount = gPrefs.CopyUnicharPref("editor.history.url_maximum"); } catch(e) {} // Number of items in recent files menu  var titleArray = new Array(historyCount);  var urlArray = new Array(historyCount);    for (i = 0; i < historyCount; i++)  {    titleArray[i] = getUnicharPref("editor.history_title_"+i);    urlArray[i] = getUnicharPref("editor.history_url_"+i);  }  var placeholder = 1; // i+1, holds number that decides which menuitem the recent file is going in  for (i = 0; i < historyCount; i++)  {    // If we skip over an item in the array, placeholder is not incremented    if (urlArray[i] != curUrl)    {      // Save the menu one spot down in the list      SaveRecentFilesPrefs(titleArray[i], urlArray[i], placeholder);      placeholder++;    }  }  gPrefs.SavePrefFile(); // Save the prefs file}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/145e0993e94be58c9a9a2168ca6b8cc2de5d31a3/editor.js/clean/editor/ui/composer/content/editor.js