DuplicateElementNameException.php
Go to the documentation of this file.