GitXplorerGitXplorer
l

gedit-phplint

public
4 stars
1 forks
0 issues

Commits

List of commits on branch master.
Verified
13582c09914b9ace3c63370e990585971c4a251b

Update README.md

llwindolf committed 7 years ago
Unverified
a2fc63cede833c5dee1760a29a7e6180b6d34d55

Initial commit.

committed 7 years ago

README

The README file for this repository.

PHPLint plugin for Gedit

Simple plugin to run 'php -l' on PHP code.

Requirements

Gedit 3.14 and PHP CLI installed.

Installation

You might want to install the plugin using Gedit Plugin Installer or these manual steps

git clone https://github.com/lwindolf/gedit-phplint.git
mkdir -p ~/.local/share/gedit/plugins/
cp -r gedit-phplint/phplint.plugin gedit-phplint/phplint/ ~/.local/share/gedit/plugins/

Ensure to restart Gedit and activate the plugin in the preferences.

Usage

When a PHP source code file is active, you can check it with Tools > Check with PHPLint or with the accelerator Ctrl+J. The results are automatically displayed in the bottom panel.