From 8ea384aa04795692028212cfd7d9054d50d8677e Mon Sep 17 00:00:00 2001 From: Mikael Peigney Date: Tue, 9 Jul 2024 15:28:20 +0200 Subject: [PATCH] Update mkdocs.yml Add missing menu entries --- mkdocs.yml | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 713506e..0194dd7 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -27,15 +27,26 @@ nav: - Dealing with code issues: running_psalm/dealing_with_code_issues.md - Issue Types: running_psalm/issues.md - Checking non-PHP files: running_psalm/checking_non_php_files.md + - Error levels: running_psalm/error_levels.md - Annotating types: - Using Type Annotations: annotating_code/typing_in_psalm.md - Union Types: annotating_code/type_syntax/union_types.md - Atomic Type Reference: annotating_code/type_syntax/atomic_types.md - Intersection Types: annotating_code/type_syntax/intersection_types.md + - Array Types: annotating_code/type_syntax/array_types.md + - Callable Types: annotating_code/type_syntax/callable_types.md + - Conditional Types: annotating_code/type_syntax/conditional_types.md + - Object Types: annotating_code/type_syntax/object_types.md + - Other Types: annotating_code/type_syntax/other_types.md + - Scalar Types: annotating_code/type_syntax/scalar_types.md + - Top Types, Bottom Types: annotating_code/type_syntax/top_bottom_types.md + - Utility Types: annotating_code/type_syntax/utility_types.md + - Value Types: annotating_code/type_syntax/value_types.md - Other annotations: - Supported Annotations: annotating_code/supported_annotations.md - Template Annotations: annotating_code/templated_annotations.md - Assert Annotations: annotating_code/adding_assertions.md + - Assertion syntax: annotating_code/assertion_syntax.md - Manipulating code: - Fixing code with Psalter: manipulating_code/fixing.md - Refactoring code: manipulating_code/refactoring.md @@ -44,4 +55,13 @@ nav: - Custom taint sources: security_analysis/custom_taint_sources.md - Custom taint sinks: security_analysis/custom_taint_sinks.md - Avoiding false-positives: security_analysis/avoiding_false_positives.md - - Contributing: contributing/index.md + - Avoiding false-negatives: security_analysis/avoiding_false_negatives.md + - Security analysis annotations: security_analysis/annotations.md + - Taint Flow: security_analysis/taint_flow.md + - Contributing: + - Contributing to Psalm: contributing/index.md + - Adding a new issue type: contributing/adding_issues.md + - Altering callmaps: contributing/editing_callmaps.md + - How Psalm works: contributing/how_psalm_works.md + - Philosophy: contributing/philosophy.md + - Things that make developing Psalm complicated: contributing/what_makes_psalm_complicated.md