TomasVotruba 39862d2e55 use NodeTraverser service

2017-09-01 00:33:13 +02:00

..

CloningNodeTraverser.php

turn CloningVisitor to services

2017-09-01 00:30:58 +02:00

MainNodeTraverser.php

drop EventDispatcher, add prioritied NodeTraversers

2017-08-20 15:25:03 +02:00

ShutdownNodeTraverser.php

drop EventDispatcher, add prioritied NodeTraversers

2017-08-20 15:25:03 +02:00

StandaloneTraverseNodeTraverser.php

use NodeTraverser service

2017-09-01 00:33:13 +02:00