gphpedit/src/gtkscintilla2/scintilla/doc
