mirror of
https://github.com/github/codeql.git
synced 2026-05-18 21:27:08 +02:00
cea862bfb3
This is built with copilot, via a number of iterations and run various test. But it should by no means be considered production ready. I'm looking for feeback on how to take this forward.
37 lines
877 B
YAML
37 lines
877 B
YAML
name: "php"
|
|
display_name: "PHP"
|
|
version: 0.1.0
|
|
column_kind: "utf8"
|
|
legacy_qltest_extraction: true
|
|
build_modes:
|
|
- none
|
|
github_api_languages:
|
|
- PHP
|
|
scc_languages:
|
|
- PHP
|
|
file_types:
|
|
- name: php
|
|
display_name: PHP files
|
|
extensions:
|
|
- .php
|
|
- .phtml
|
|
- .php3
|
|
- .php4
|
|
- .php5
|
|
- .php7
|
|
- .phps
|
|
- .inc
|
|
options:
|
|
trap:
|
|
title: Options pertaining to TRAP.
|
|
type: object
|
|
properties:
|
|
compression:
|
|
title: Controls compression for the TRAP files written by the extractor.
|
|
description: >
|
|
This option is only intended for use in debugging the extractor. Accepted
|
|
values are 'gzip' (the default, to write gzip-compressed TRAP) 'zstd' (to
|
|
write Zstandard-compressed TRAP) and 'none' (to write uncompressed TRAP).
|
|
type: string
|
|
pattern: "^(none|gzip|zstd)$"
|