tree 4a41304d86d6f28086c1805fa33535e9f6658733
parent 3c168ef332ed66929c404cbf8c02ec04bfd02780
author Olly Betts <olly@survex.com> 1621917181 +1200
committer Olly Betts <olly@survex.com> 1621917181 +1200

php: SWIG_exception now maps code to exception class

This now determines the class of the exception object where a
suitable pre-defined PHP exception class exists - for example,
SWIG_TypeError -> PHP exception class TypeError.

Exception codes which don't naturally map to a pre-defined PHP
exception class are thrown as PHP class Exception (like all
PHP exceptions raised by SWIG_exception were before this change.)