Editorial change: renaming "staging" => "sandbox"

Author: gusthoff

frontend/src/index.ts

@@ -4,8 +4,8 @@ import {getElemsByClass, getElemById} from './ts/dom-utils';
 import {widgetFactory} from './ts/widget';
 import {scrollTop} from './ts/scrolltop';
 
-// #if STAGING
-import {stagingRedirect} from './ts/staging';
+// #if SANDBOX
+import {sandboxRedirect} from './ts/sandbox-redirect';
 // #endif
 
 /**
@@ -22,10 +22,10 @@ function entrypoint(): void {
   const btn = getElemById('scrollToTopBtn');
   scrollTop(btn as HTMLButtonElement);
 
-  // #if STAGING
+  // #if SANDBOX
   // This is used to redirect non AdaCore staff to the main site if
   //  the staging site is accidentally reached
-  stagingRedirect();
+  sandboxRedirect();
   // #endif
 }
 

frontend/src/ts/staging.ts renamed to frontend/src/ts/sandbox-redirect.ts

@@ -5,10 +5,10 @@ import Cookies from 'js-cookie';
  *
  * @export
  */
-export function stagingRedirect(): void {
+export function sandboxRedirect(): void {
   /* istanbul ignore next */
   if (!Cookies.get('AdaCore_staff')) {
-    const msg = 'You have reached learn-staging, the learn testing site. ' +
+    const msg = 'You have reached learn-sandbox, the learn testing site. ' +
     'This is reserved for testers only. You will be directed to the main ' +
     'learn.adacore.com site after pressing OK.';
     alert(msg);