CoralVM-PHP: Updating phpdoc of memory zones