diff options
author | Carl Schwan <carl@carlschwan.eu> | 2022-01-06 16:19:06 +0300 |
---|---|---|
committer | Carl Schwan <carl@carlschwan.eu> | 2022-01-27 19:20:00 +0300 |
commit | d69531ac8ecabfaa2c915d5266d09971c0129a77 (patch) | |
tree | 876d8e19059e7b424cc29ef49167cdf9bf47db69 /ocs | |
parent | 0c631830bba9ff49e5f281699cf2514ea2e4d54d (diff) |
Fix psalm not running
The issue was that we were using psalm/phar instead of vimeo/psalm. This
caused issue with the custom psalm plugin in buildd/psalm.
This is using the opportunity to also update the psalm version from 3.8
to 3.17 and the php-cs-fixer too.
Signed-off-by: Carl Schwan <carl@carlschwan.eu>
Diffstat (limited to 'ocs')
-rw-r--r-- | ocs/providers.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocs/providers.php b/ocs/providers.php index 34f931ad940..ca0217d8e91 100644 --- a/ocs/providers.php +++ b/ocs/providers.php @@ -34,7 +34,7 @@ $url = $request->getServerProtocol() . '://' . substr($request->getServerHost() $writer = new XMLWriter(); $writer->openURI('php://output'); -$writer->startDocument('1.0','UTF-8'); +$writer->startDocument('1.0', 'UTF-8'); $writer->setIndent(true); $writer->startElement('providers'); $writer->startElement('provider'); |