Information for file /usr/share/php/PDepend/Input/ExtensionFilter.php
| Name | /usr/share/php/PDepend/Input/ExtensionFilter.php |
|---|---|
| Digest (sha256) | 0e140cbd847812d3448d6a37ea58c30ca139494e8ed2d49df0efadd92b87cc54 |
| Size | 3.00 KB |
| Modification time | Fri, 22 Jul 2022 13:56:49 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | php-pdepend-PHP-Depend-2.10.3-2.fc37.noarch.rpm |
