Information for file /usr/share/php/PHPUnit/Util/Filter.php
| Name | /usr/share/php/PHPUnit/Util/Filter.php |
|---|---|
| Digest (sha256) | b3a52e5fecab7532a99de4a94208467f48e40b878a8b445249e6d65775b45aad |
| Size | 2.84 KB |
| Modification time | Thu, 01 Feb 2018 05:50:59 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | php-phpunit-PHPUnit-5.7.27-4.fc30.noarch.rpm |
