Menu

## ExtendsPreviousDefinition extends Definition
in

ExtendsPreviousDefinition.php : 12

A definition that extends a previous definition with the same name.

##### Tags

author

  Matthieu Napoli matthieu@mnapoli.fr

### Table of Contents

#### Methods

setExtendedDefinition() : void

### Methods

#### setExtendedDefinition()

ExtendsPreviousDefinition.php : 14
`public setExtendedDefinition(Definition $definition) : void`

##### Parameters

$definition : Definition

## Search results