Defining EXT constant

The EXT constant doesn't exists in the actual version of Codeigniter. ¿Has ever existed?