DLLG#90075 Geen 'pretty' dagnamen weergeven als we data uit een andere tijdszone weergeven

svn path=/Website/branches/v2025.4/; revision=70964

APPL/Shared/Shared.inc

@@ -1568,6 +1568,14 @@ function toDateString(jsDate, arg2 /* noDay */, arg3 /* pretty */, arg4 /* isLoc
     if (!params.isLocal)
         jsDate = convertToLocalTime(jsDate);
 
+    if (
+        params.pretty &&
+        !params.isLocal &&                                  // Bij params.isLocal bepalen we op de plek zelf of we data 'pretty' willen tonen
+        Session("time_zone") != S("fac_server_timezone")    // Geen pretty-dagnamen als we data uit een andere tijdszone weergeven
+    ) {
+        params.pretty = false;
+    }
+
     // Ik wil graag, alleen als parameter friendly?, voor de datums gisteren, vandaag en morgen de tekst Gisteren, Vandaag en Morgen opleveren
     // Voor lijsten/sortering is dat vaak niet handig, maar soms is het veel begrijpelijker. Als de mogelijkheid er is, kunnen we
     // geleidelijk de toepassing uitbreiden. In Lopende zaken op de portal om mee te beginnen.