Manual:XmlSelect.php

From mediawiki.org

Class for generating HTML ‎<select> elements.