janalis / porta-local-history
Snapshots every save and restores one as a single undoable edit
Package info
github.com/janalis/porta-local-history
Type:porta-plugin
pkg:composer/janalis/porta-local-history
v0.1.3
2026-11-02 21:43 UTC
Requires
- php: >=8.5
- symfony/clock: ^8.2
- symfony/filesystem: ^8.2
Requires (Dev)
None
Suggests
None
Provides
None
Conflicts
None
Replaces
None
README
Snapshots every save and restores one as a single undoable edit.
This is janalis/porta-local-history, one of the plugins bundled with
Porta, the terminal IDE for PHP. Porta
ships it already: turn it on under Settings → Plugins. Install this
package only to run a copy of your own, which shadows the bundled one.
Read-only
This repository is a read-only split of plugins/local-history in
janalis/porta, updated on every push.
Report issues and send pull requests
there.