/usr/share/pki/setup/menu.xml is in pki-server 10.2.6+git20160317-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | <!-- Certificate Server -->
<Menu>
<Name>CertificateServer</Name>
<Directory>CertServer.directory</Directory>
<Include>
<And>
<Category>CertServer</Category>
</And>
</Include>
</Menu> <!-- End Certificate Server -->
|