Skip to content

Commit 6b61988

Browse files
authored
docs: Fix the "includes" typo (#1677)
## Summary Some docs mentioned the `"includes"` key for `devbox.json` instead of the correct `"include"`. ## How was it tested? Tried to use the suggested snippet for the PHP plugin in `devbox.json`, found that it does not actually work, then found the proper `"include"` key name in another part of the documentation.
1 parent 1444a58 commit 6b61988

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

docs/app/docs/devbox_examples/databases/mariadb.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,10 @@ MariaDB can be automatically configured for your dev environment by Devbox via t
1717
]
1818
```
1919

20-
You can manually add the MariaDB Plugin to your `devbox.json` by adding it to your `includes` list:
20+
You can manually add the MariaDB Plugin to your `devbox.json` by adding it to your `include` list:
2121

2222
```json
23-
"includes": [
23+
"include": [
2424
"plugin:mariadb"
2525
]
2626
```

docs/app/docs/devbox_examples/languages/php.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,10 +37,10 @@ For example -- to add the `ds` extension, run `devbox add php81Extensions.ds`, o
3737

3838
## PHP Plugin Details
3939

40-
The PHP Plugin will provide the following configuration when you install a PHP runtime with `devbox add`. You can also manually add the PHP plugin by adding `plugin:php` to your `includes` list in `devbox.json`:
40+
The PHP Plugin will provide the following configuration when you install a PHP runtime with `devbox add`. You can also manually add the PHP plugin by adding `plugin:php` to your `include` list in `devbox.json`:
4141

4242
```json
43-
"includes": [
43+
"include": [
4444
"plugin:php"
4545
]
4646
```

0 commit comments

Comments
 (0)