web-wiki/resources/mediawiki/mediawiki.jqueryMsg.js
// Try parsers until one works, if none work return null 

Try parsers until one works, if none work return null
Try parsers until one works if none work return null
function choice( ps ) {
				return function() {
					for ( var i = 0; i < ps.length; i++ ) {
						var result = ps[i]();
						if ( result !== null ) {
							 return result;
						}
					}
					return null;
				};
			}
function choice ( ps ) { return function ( ) { for ( var i = 0 ; i < ps . length ; i ++ ) { var result = ps [ i ] ( ) ; if ( result !== null ) { return result ; } } return null ; } ; }
Try parsers until one works, if none work return null
Try parsers until one works if none work return null