add php_manual