hideproject/gedit-phplint
[ABANDONED] PHPLint plugin for Gedit 3
Public GitHub Catalog
Discovered Sep 28, 2026
hideproject / gedit-on-save
[ABANDONED] Plugin runs a command on save of document. For Gedit 3.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13022107GitHub System ID
hideprojectOrganization / User
PublicVisibility
ActiveCatalog Status
More from hideproject
hideproject/gedit-hide
[ABANDONED] Pack of plugins & themes for gedit 3 (oriented on the PHP development)