1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Commit Graph

15 Commits

Author SHA1 Message Date
Matt Brown
f3b05f5ab5 Move static code out of src 2020-10-12 00:59:19 -04:00
Barney Laurance
607ecbe01f Fix reference to psalm_plugin in box.json.dist 2019-06-07 06:52:07 -04:00
Barney Laurance
eecd21a7d5 Add executable PHP files to PHAR distribution
Previously a user of the phar distribution would have to invoke psalm as
`vendor/bin/psalm.phar`. This is different to the command given in
the psalm documentation, `vendor/bin/psalm`

I also copied all files from the psalm/phar repo into
assets/psalm-phar, so that development can be concentrated in this repo.

The travis-deploy-phar.sh should copy any changes made back into the
psalm/phar.git repo.
2019-06-07 06:52:07 -04:00
Brown
e15b86db7e Revert "Reduce size of generated Phar"
This reverts commit bde7354588.
2019-04-29 19:14:37 -04:00
Brown
bde7354588 Reduce size of generated Phar 2019-04-29 19:04:28 -04:00
Brown
c1434ee212 Add --language-server support 2019-03-27 11:55:10 -04:00
Matthew Brown
dc23212fd4 Remove PHP compactor because it kills CoreGenericFunctions/Classes functionality
Fixes #1348
2019-02-19 01:12:46 -05:00
Théo FIDRY
477e91ab85 Bump Box
- Bump box to the latest stable release
- Remove unncessary settings from `box.json.dist`
- Add the `Php` compactor which should remove some unnecessary comments and whitespaces from the
  PHAR
2018-10-08 10:18:54 -04:00
Matthew Brown
fabe60ab68 Fix #748 - correct paths that stopped working 2018-05-30 07:21:34 -04:00
Théo FIDRY
1ecf1c4113 Update Box 2018-05-15 14:30:14 -04:00
Théo FIDRY
59d32566d2 Simplify the PHAR build script 2018-05-15 14:30:14 -04:00
Matthew Brown
cb15f48406 Remove compression 2018-03-21 12:42:22 -04:00
Matthew Brown
5728ef4858 Fix #595 by giving phar an alias 2018-03-17 20:59:45 -04:00
Matthew Brown
0828d5e3b3 Namespace Phar using php-scoper 2018-03-12 00:01:52 -04:00
Bruce Weirdan
c2275f388a box.json -> box.json.dist, use non-deprecated command to build 2018-03-08 19:14:06 -05:00