Si les extensions de commandes sont activées, ENDLOCAL est modifié comme suit : Si le SETLOCAL correspondant active ou désactive ...

Si les extensions de commandes sont activées, ENDLOCAL est modifié comme suit :

Si le SETLOCAL correspondant active ou désactive les extensions de commandes
en utilisant les nouvelles options ENABLEEXTENSIONS ou DISABLEEXTENSIONS, alors
après ENDLOCAL, l'état activé/désactivé des extensions de commandes sera
restauré à la valeur qu'il avait avant l'exécution de la commande SETLOCAL
correspondante.