// Move Best Match hover to front
for (int i = 0; i < fPHPEditorTextHoverDescriptors.length - 1; i++) {
if (PreferenceConstants.ID_BESTMATCH_HOVER
.equals(fPHPEditorTextHoverDescriptors[i].getId())) {
PHPEditorTextHoverDescriptor hoverDescriptor = fPHPEditorTextHoverDescriptors[i];
for (int j = i; j > 0; j--)
fPHPEditorTextHoverDescriptors[j] = fPHPEditorTextHoverDescriptors[j - 1];
fPHPEditorTextHoverDescriptors[0] = hoverDescriptor;
break;
}