<commit_before>// Navigator.cs
// Script#/Libraries/Web
// Copyright (c) <NAME>.
// Copyright (c) Microsoft Corporation.
// This source code is subject to terms and conditions of the Microsoft 
// Public License. A copy of the license can be found in License.txt.
//

using System;
using System.Html.Services;
using System.Runtime.CompilerServices;

namespace System.Html {

    [IgnoreNamespace]
    [Imported]
    public sealed class Navigator {

        private Navigator() {
        }

        [IntrinsicProperty]
        public string AppVersion {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public string BrowserLanguage {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool CookieEnabled {
            get {
                return false;
            }
        }

        [IntrinsicProperty]
        public GeolocationService Geolocation {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool OnLine {
            get {
                return false;
            }
        }

        [IntrinsicProperty]
        public string Platform {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool Standalone {
            get {
                return false;
            }
        }

        [IntrinsicProperty]
        public string UserAgent {
            get {
                return null;
            }
        }
    }
}<commit_msg>Added missing Navigator properties and XML doc comments.<commit_after>// Navigator.cs
// Script#/Libraries/Web
// Copyright (c) <NAME>.
// Copyright (c) Microsoft Corporation.
// This source code is subject to terms and conditions of the Microsoft 
// Public License. A copy of the license can be found in License.txt.
//

using System;
using System.Html.Services;
using System.Runtime.CompilerServices;

namespace System.Html {

    [IgnoreNamespace]
    [Imported]
    public sealed class Navigator {

        private Navigator() {
        }

        /// <summary>
        /// Returns the name of the browser.
        /// </summary>
        [IntrinsicProperty]
        public static string AppName {
            get {
                return null;
            }
        }

        /// <summary>
        /// Returns the version of the browser.
        /// </summary>
        [IntrinsicProperty]
        public string AppVersion {
            get {
                return null;
            }
        }

        /// <summary>
        /// (Gecko, Chrome, Opera, WebKit) Returns a string representing the language of the browser.
        /// </summary>
        [IntrinsicProperty]
        public static string Language {
            get {
                return null;
            }
        }

        /// <summary>
        /// (IE, Opera) Retrieves the operating system's natural language setting.
        /// </summary>
        [IntrinsicProperty]
        public static string UserLanguage {
            get {
                return null;
            }
        }

        /// <summary>
        /// (IE) Retrieves the default language used by the operating system.
        /// </summary>
        [IntrinsicProperty]
        public static string SystemLanguage {
            get {
                return null;
            }
        }

        /// <summary>
        /// (IE, Opera) Retrieves the current language.
        /// </summary>
        [IntrinsicProperty]
        public string BrowserLanguage {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool CookieEnabled {
            get {
                return false;
            }
        }

        [IntrinsicProperty]
        public GeolocationService Geolocation {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool OnLine {
            get {
                return false;
            }
        }

        /// <summary>
        /// Returns the name of the platform.
        /// </summary>
        [IntrinsicProperty]
        public string Platform {
            get {
                return null;
            }
        }

        [IntrinsicProperty]
        public bool Standalone {
            get {
                return false;
            }
        }

        /// <summary>
        /// Returns the complete User-Agent header.
        /// </summary>
        [IntrinsicProperty]
        public string UserAgent {
            get {
                return null;
            }
        }
    }
}
{'fraction_non_alphanumeric': 0.0811965811965812, 'fraction_numerical': 0.0, 'mean_word_length': 1.1621247113163973, 'pattern_counts': {'":': 0, '<': 21, '<?xml version=': 0, '>': 21, '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': '4805541', 'n_tokens_mistral': 1159, 'n_tokens_neox': 1087, 'n_words': 328}