Rob Lourens 783a0aafad Update the PHP grammar ...

Now it breaks out the html grammar into its own file

2017-12-18 14:28:38 -08:00

..

postinstall.js

fix nsfw for gulp watch

2017-11-16 10:21:52 +01:00

preinstall.js

fixes #38501

2017-11-18 08:30:46 +01:00

update-all-grammars.js

[bat] use grammar from mmims/language-batchfile. Fixes #38206, fixes #3845

2017-11-14 14:35:13 +01:00

update-grammar.js

Update the PHP grammar

2017-12-18 14:28:38 -08:00

update-theme.js

Peek view color mixup in update script

2017-04-28 17:59:20 +02:00