Information for file /usr/share/mediawiki/extensions/VisualEditor/lib/ve/lib/oojs-ui/oojs-ui-core.js.map.json
Name | /usr/share/mediawiki/extensions/VisualEditor/lib/ve/lib/oojs-ui/oojs-ui-core.js.map.json |
---|---|
Digest (sha256) | 173213f10fac406b20b5285f8d0dd6cdfe526a4dff2dc8c9cb3851e90161672a |
Size | 1.24 MB |
Modification time | Wed, 29 Jun 2022 19:53:18 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | mediawiki-1.38.2-1.fc37.noarch.rpm |