0011730: fix doc export for php7