protected function getAtomProperties(DivinerAtom $atom) { $properties = array(); $properties[] = array(pht('Defined'), $atom->getFile() . ':' . $atom->getLine()); return $properties; }