`@extends` needs the entire namespace of the class being extended.