ntents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_c5da75fdc1d6c57999112ed830c87a3c.html">vendor</a></li><li class="navelem"><a class="el" href="dir_d17b86f9f15b1fa62499f823a68206f5.html">phpspec</a></li><li class="navelem"><a class="el" href="dir_e08534ffcfbbe21a200d9c824bd8ffc9.html">prophecy</a></li><li class="navelem"><a class="el" href="dir_430e719adf3bca8