.getDefault().getPHPEditorTextHoverDescriptors();
int i = 0;
while (i < hoverDescs.length) {
if (hoverDescs[i].isEnabled()
&& hoverDescs[i].getStateMask() == stateMask) {
return new PHPTextHoverProxy(hoverDescs[i],
((PHPStructuredTextViewer) sourceViewer)
.getTextEditor(), fPreferenceStore);
}
i++;
}