Commit graph

18 commits

Author SHA1 Message Date
KapitanOczywisty 06401b39b1
Update PHP grammar from fork (#180100) 2023-04-17 18:42:57 +00:00
Matt Bierner e214493d0c
Migrate update grammar to mjs 2022-03-01 17:24:59 -08:00
KapitanOczywisty 01e9eb59a7
Fix PHP update-grammar.js 2022-01-13 12:05:28 +01:00
João Moreno c3b556727e
fix update-grammars script 2021-02-02 12:30:08 +01:00
João Moreno 3b03189afa
Restore extensions in core (#114921)
* bring back grammar extensions

* fix hygiene

* Revert "pull themes from the marketplace"

This reverts commit 0738f76dac.
2021-01-25 17:07:56 +01:00
João Moreno bc7d3c9ea6
remove grammar extensions 2021-01-15 12:35:17 +01:00
ChaseKnowlden e8760a5d6c Fix capitalization of GitHub org 2020-09-17 11:43:03 +02:00
Connor Peet f840384927
php - fix custom tags appearing invalid
Fixes https://github.com/microsoft/vscode/issues/76997
2019-10-11 08:48:05 -07:00
Rob Lourens d3780038d7 Revert "Revert "Merge pull request #80657 from KapitanOczywisty/patch-1""
CLA signed, bring back PR

This reverts commit 0e8a10aa7d.
2019-09-15 12:42:33 -07:00
Rob Lourens 0e8a10aa7d Revert "Merge pull request #80657 from KapitanOczywisty/patch-1"
This reverts commit ea10827333, reversing
changes made to 9f2d08eaa3.
2019-09-15 12:26:59 -07:00
KapitanOczywisty dd02755bfc
Fix PHP in HTML style tags 2019-09-10 19:13:03 +02:00
Rob Lourens 32169bcc6e Fix hang when tokenizing PHP
Fix #75468
2019-07-05 12:05:50 -07:00
Rob Lourens 509d693aa7 Fix #65649 - fix injection patching in update-grammar.js 2019-01-03 16:24:11 -08:00
Matheus Salmi e51320551d Fix #44032 - make php grammar regex case-insensitive 2018-02-22 01:04:51 -03:00
Rob Lourens 390a5295b0 Fix #40279 - rewrite php grammar rule to avoid regex that hangs vscode-textmate 2018-01-29 10:04:28 -08:00
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
Felix Becker d2770b6482 Fix all string throw statements 2017-06-26 15:02:52 +02:00
Martin Aeschlimann be2b6bd127 HTML Comments Not Colour Coded when there is a <?php> in the script tag. Fixes #28354 2017-06-19 11:56:33 +02:00