/usr/share/php/Prophecy/Argument/Token/ is in php-phpspec-prophecy 1.6.2-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/php/Prophecy/Argument/Token/AnyValueToken.php
/usr/share/php/Prophecy/Argument/Token/AnyValuesToken.php
/usr/share/php/Prophecy/Argument/Token/ApproximateValueToken.php
/usr/share/php/Prophecy/Argument/Token/ArrayCountToken.php
/usr/share/php/Prophecy/Argument/Token/ArrayEntryToken.php
/usr/share/php/Prophecy/Argument/Token/ArrayEveryEntryToken.php
/usr/share/php/Prophecy/Argument/Token/CallbackToken.php
/usr/share/php/Prophecy/Argument/Token/ExactValueToken.php
/usr/share/php/Prophecy/Argument/Token/IdenticalValueToken.php
/usr/share/php/Prophecy/Argument/Token/LogicalAndToken.php
/usr/share/php/Prophecy/Argument/Token/LogicalNotToken.php
/usr/share/php/Prophecy/Argument/Token/ObjectStateToken.php
/usr/share/php/Prophecy/Argument/Token/StringContainsToken.php
/usr/share/php/Prophecy/Argument/Token/TokenInterface.php
/usr/share/php/Prophecy/Argument/Token/TypeToken.php