diff options
| author | Roeland Jago Douma <roeland@famdouma.nl> | 2020-12-30 13:06:00 +0300 |
|---|---|---|
| committer | Roeland Jago Douma <roeland@famdouma.nl> | 2020-12-30 13:06:00 +0300 |
| commit | fe65f8facf6360a46ce3f7ed67e7b46d96135308 (patch) | |
| tree | ac86976f1ecfa827e811084082a378149668abe5 /psalm-ocp.xml | |
| parent | 04a65121b7ed8b46c8e8245fd15e08b886f13cf4 (diff) | |
Add dedicated baseline for OCP
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
Diffstat (limited to 'psalm-ocp.xml')
| -rw-r--r-- | psalm-ocp.xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/psalm-ocp.xml b/psalm-ocp.xml new file mode 100644 index 00000000000..5574ae0fb5d --- /dev/null +++ b/psalm-ocp.xml @@ -0,0 +1,19 @@ +<?xml version="1.0"?> +<psalm + errorLevel="4" + resolveFromConfigFile="true" + xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" + xmlns="https://getpsalm.org/schema/config" + xsi:schemaLocation="https://getpsalm.org/schema/config" + errorBaseline="build/psalm-baseline-ocp.xml" +> + <plugins> + <plugin filename="build/psalm/AppFrameworkTainter.php" /> + </plugins> + <projectFiles> + <directory name="lib/public"/> + </projectFiles> + <extraFiles> + <directory name="3rdparty"/> + </extraFiles> +</psalm> |