ButtonInputWidget.php

3.95 KB -rw-r--r--

RPM 70547

File

Name: /usr/share/php/OOUI/widgets/ButtonInputWidget.php
Digest (sha256): b31ff84d174b6b44d2e4e82e4709fdc74c2b4d7e0f11f0164ff45f873d7f9d94
Size: 3.95 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