Information for file /usr/share/mediawiki/extensions/VisualEditor/lib/ve/lib/oojs-ui/oojs-ui-core.js
| Name | /usr/share/mediawiki/extensions/VisualEditor/lib/ve/lib/oojs-ui/oojs-ui-core.js |
|---|---|
| Digest (sha256) | 5e263360572496b34bcd0f134bea1c638bd64619f1ab21ca742a00dca1d34ea5 |
| Size | 411.89 KB |
| Modification time | Thu, 08 Apr 2021 18:38:17 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | mediawiki-1.35.2-1.fc33.noarch.rpm |
