Skip to content

Update PHPStorm documentation#10

Merged
Molkobain merged 2 commits intomasterfrom
feature/update-documentation-path-mappings
Dec 17, 2025
Merged

Update PHPStorm documentation#10
Molkobain merged 2 commits intomasterfrom
feature/update-documentation-path-mappings

Conversation

@Molkobain
Copy link
Copy Markdown
Contributor

@Molkobain Molkobain commented Dec 17, 2025

Base information

Question Answer
Related to a SourceForge thread / Another PR / Combodo ticket? No
Type of change? Documentation

Symptom (bug) / Objective (enhancement)

Update the PHPStorm documentation to explain that path mappings must be configured for every projects, not just once.

@Molkobain Molkobain force-pushed the feature/update-documentation-path-mappings branch from 79152ca to 7728cff Compare December 17, 2025 15:32
@Molkobain Molkobain requested a review from bdalsass December 17, 2025 15:34
@Molkobain Molkobain self-assigned this Dec 17, 2025
@Molkobain Molkobain added the documentation Improvements or additions to documentation label Dec 17, 2025
Copy link
Copy Markdown
Collaborator

@bdalsass bdalsass left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thx 👌

@Molkobain Molkobain merged commit 06fef99 into master Dec 17, 2025
@Molkobain Molkobain deleted the feature/update-documentation-path-mappings branch December 17, 2025 15:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants