<php>  if ($_SERVER['PHP_AUTH_USER'] != 'jeff' && $_SERVER['PHP_AUTH_USER'] != 'marina' && 
           $_SERVER['PHP_AUTH_USER'] != 'jflemay@hotmail.com' && $_SERVER['PHP_AUTH_USER'] != 'marina.lemay@hotmail.com' ) 
   {  die('no rights to read this page'); }  </php>

===== Windows 10-11 tricks =====

  * Configuration ordinateur > Modèles d’administration > Composants Windows > Antivirus Windows Defender.

<sxh bash;  title: gpedit-enabler.bat>
@echo off 
@echo "This batch file from MajorGeeks.Com will enable Group Policy Editor (Gpedit.msc) on Windows 10 Home."
@echo "If this method fails, there are other methods to try at https://tinyurl.com/majorgeeksgpedit"
pushd "%~dp0" 

dir /b %SystemRoot%\servicing\Packages\Microsoft-Windows-GroupPolicy-ClientExtensions-Package~3*.mum >List.txt 
dir /b %SystemRoot%\servicing\Packages\Microsoft-Windows-GroupPolicy-ClientTools-Package~3*.mum >>List.txt 

for /f %%i in ('findstr /i . List.txt 2^>nul') do dism /online /norestart /add-package:"%SystemRoot%\servicing\Packages\%%i" 
pause
</sxh>