From b267bd11e07c5cb4a8a560a5e15087f1616cc480 Mon Sep 17 00:00:00 2001
From: ewillonermsft <129988051+ewillonermsft@users.noreply.github.com>
Date: Thu, 25 Sep 2025 10:37:56 -0700
Subject: [PATCH] Update properties to getters which is inline with the actual
 implementation.

---
 csharp/ql/test/resources/stubs/System.Web.cs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/csharp/ql/test/resources/stubs/System.Web.cs b/csharp/ql/test/resources/stubs/System.Web.cs
index ed9ed5dda55..c15b871095f 100644
--- a/csharp/ql/test/resources/stubs/System.Web.cs
+++ b/csharp/ql/test/resources/stubs/System.Web.cs
@@ -178,12 +178,12 @@ namespace System.Web
         public string RawUrl { get; set; }
         public HttpCookieCollection Cookies => null;
         public bool IsAuthenticated { get; set; }
-        public NameValueCollection Form => null;
-        public NameValueCollection Headers => null;
-        public NameValueCollection Params => null;
-        public string UserAgent(string s) => null;
-        public string UrlReferrer(string s) => null;
-        public NameValueCollection ServerVariables => null;
+        public NameValueCollection Form { get; }
+        public NameValueCollection Headers { get; }
+        public NameValueCollection Params { get; }
+        public string UserAgent { get; }
+        public Uri UrlReferrer { get; }
+        public NameValueCollection ServerVariables { get; }
         public String this[String key] => null;
     }