PHP static analysis with Override