Merge pull request #27239 from totten/phpstorm-adaptive-path
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 1 Sep 2023 01:48:58 +0000 (13:48 +1200)
committerGitHub <noreply@github.com>
Fri, 1 Sep 2023 01:48:58 +0000 (13:48 +1200)
phpstorm - Prefer to store generated hints in source-tree


Trivial merge