ButtonWidget.php

6.08 KB -rw-r--r--

RPM 70547

File

Name: /usr/share/php/OOUI/widgets/ButtonWidget.php
Digest (sha256): 56e9c4d4c1254118f821d5bc2633e67e2d3845b4846b4bca3002010022e7b46c
Size: 6.08 KB
Modification time: Wed, 03 Sep 2025 21:41:21 UTC
Flags: none
RPM: php-oojs-oojs-ui-0.53.0-2.fc45.noarch.rpm