DropdownInputWidget.php

4.12 KB -rw-r--r--

RPM 70547

File

Name: /usr/share/php/OOUI/widgets/DropdownInputWidget.php
Digest (sha256): e132722b8b9e4775b22d4068f6d05b05126c27bc0090915c04ee16a11a5aceaf
Size: 4.12 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