PHP Manual Source

Hello, I am planning on setting up a FAQ site for the MESS emulator, which will be database driven. I imagine it to work very much like the manual at php.net (with user comments being added to FAQ articles similarly to how your manual pages work.) I was wondering whether the source code that you use on the site is publicly available, or if not, whether you can point me in the direction of public code that will do something similar, as I don't particularly want to reinvent the wheel. Thank you for your time, and congratulations on maintaining a very intuitive and helpful resource. Mark Clements