web-wiki/resources/mediawiki/mediawiki.jqueryMsg.js
// Helpers -- just make ps out of simpler JS builtin types

- just make ps out of simpler JS builtin types
- just make ps out of simpler JS builtin types
function makeStringParser( s ) { 
				var len = s.length;
				return function() {
					var result = null;
					if ( input.substr( pos, len ) === s ) {
						 result = s;
						 pos += len;
					}
					return result;
				};
			}
function makeStringParser ( s ) { var len = s . length ; return function ( ) { var result = null ; if ( input . substr ( pos , len ) === s ) { result = s ; pos += len ; } return result ; } ; }
Helpers -- just make ps out of simpler JS builtin types
Helpers -- just make ps out of simpler JS builtin types