php-gtk/ext/scintilla/libscintilla
