2011-05-27 18:20:44 +02:00
|
|
|
<?php
|
|
|
|
|
2011-05-30 17:29:10 +02:00
|
|
|
/**
|
|
|
|
* @property string $name Name
|
|
|
|
* @property array $extends Extended interfaces
|
|
|
|
* @property array $stmts Statements
|
|
|
|
*/
|
2011-05-27 18:20:44 +02:00
|
|
|
class Node_Stmt_Interface extends Node_Stmt
|
|
|
|
{
|
|
|
|
}
|