References main namespace for PHP module. Fixes #800