help finding an extended class please

[s0c0]

I am working on a project (the old developer is no where to be found) and am trying to find where a class that is extended within another class is.  I have tried searching for the class using Zends search feature (no I don't have shell access), but have found nothing.

 

It looks some like this:

 

class name extendeds other_class
{
// methods here
}

 

I need to find the file that houses that other_class. Any ideas on how I can trace this?  Seriously developers who use extends and don't at least document or have some sort of framework for their code need to walk off a cliff.

[s0c0]

For christ sake I found it after searching an hour.  If I ever see this SOB I'll slap him across the face 17th century-style and challenge him to a duel!