<commit_before>// works on only Chrome (as of 2013/2)
import "js/web.jsx";

class _Main {
	static function main(args : string[]) : void {
		log "application start";

		var nav : variant = dom.window.navigator;
		if (!nav["getUserMedia"]) {
			nav["getUserMedia"] = nav["webkitGetUserMedia"]
				               || nav["mozGetUserMedia"];
		}

		// WebRTC video
		try {<commit_msg>fix an example (amending 7812cd5ad)<commit_after>// works on only Chrome (as of 2013/2)
import "js/web.jsx";

class _Main {
	static function main(args : string[]) : void {
		log "application start";

		var nav : variant = dom.window.navigator;
		if (!nav["getUserMedia"]) {
			nav["getUserMedia"] = nav["webkitGetUserMedia"]
				               ?: nav["mozGetUserMedia"];
		}

		// WebRTC video
		try {
{'fraction_non_alphanumeric': 0.14871794871794872, 'fraction_numerical': 0.019230769230769232, 'mean_word_length': 3.2216216216216216, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6244664', 'n_tokens_mistral': 296, 'n_tokens_neox': 250, 'n_words': 68}