- function getTypeMenu( $pr_type ) {
- global $wgRestrictionTypes, $wgUser;
-
- $out = "<select name='type'>\n";
+ protected function getSizeLimit( $sizetype, $size ) {
+ $max = $sizetype === 'max';
+
+ return
+ Xml::radioLabel( wfMsg('minimum-size'), 'sizetype', 'min', 'wpmin', !$max ) .
+ ' ' .
+ Xml::radioLabel( wfMsg('maximum-size'), 'sizetype', 'max', 'wpmax', $max ) .
+ ' ' .
+ Xml::input( 'size', 9, $size, array( 'id' => 'wpsize' ) ) .
+ ' ' .
+ Xml::label( wfMsg('pagesize'), 'wpsize' );
+ }
+
+ /**
+ * @return string Formatted HTML
+ */
+ protected function getTypeMenu( $pr_type ) {
+ global $wgRestrictionTypes;
+