From 7a89da1bf309b748ff4f4be5b16f8d9d148cbe8e Mon Sep 17 00:00:00 2001 From: julieng Date: Mon, 15 Nov 2021 21:40:53 +0100 Subject: move *.html to *.md --- files/fr/glossary/developer_tools/index.html | 32 ---------------------------- files/fr/glossary/developer_tools/index.md | 32 ++++++++++++++++++++++++++++ 2 files changed, 32 insertions(+), 32 deletions(-) delete mode 100644 files/fr/glossary/developer_tools/index.html create mode 100644 files/fr/glossary/developer_tools/index.md (limited to 'files/fr/glossary/developer_tools') diff --git a/files/fr/glossary/developer_tools/index.html b/files/fr/glossary/developer_tools/index.html deleted file mode 100644 index f07e598852..0000000000 --- a/files/fr/glossary/developer_tools/index.html +++ /dev/null @@ -1,32 +0,0 @@ ---- -title: Outils de développement -slug: Glossary/Developer_Tools -tags: - - Encodage - - Glossaire - - débogage - - outils de développement -translation_of: Glossary/Developer_Tools -original_slug: Glossaire/Developer_Tools ---- -

Les outils de développement sont des programmes qui permettent à un développeur de créer, tester et {{Glossary("debug","déboguer")}} un logiciel.

- -

Les navigateurs courants fournissent des outils de développement intégrés, qui permettent d'inspecter un site web. Ils permettent aux utilisateurs d'inspecter et de déboguer les pages {{Glossary("HTML")}}, {{Glossary("CSS")}} et {{Glossary("JavaScript")}}, de mesurer le trafic réseau qu'ils provoquent et les performances, et bien plus encore.

- -

En apprendre plus

- -

Culture générale

- - - -

Références techniques

- - diff --git a/files/fr/glossary/developer_tools/index.md b/files/fr/glossary/developer_tools/index.md new file mode 100644 index 0000000000..f07e598852 --- /dev/null +++ b/files/fr/glossary/developer_tools/index.md @@ -0,0 +1,32 @@ +--- +title: Outils de développement +slug: Glossary/Developer_Tools +tags: + - Encodage + - Glossaire + - débogage + - outils de développement +translation_of: Glossary/Developer_Tools +original_slug: Glossaire/Developer_Tools +--- +

Les outils de développement sont des programmes qui permettent à un développeur de créer, tester et {{Glossary("debug","déboguer")}} un logiciel.

+ +

Les navigateurs courants fournissent des outils de développement intégrés, qui permettent d'inspecter un site web. Ils permettent aux utilisateurs d'inspecter et de déboguer les pages {{Glossary("HTML")}}, {{Glossary("CSS")}} et {{Glossary("JavaScript")}}, de mesurer le trafic réseau qu'ils provoquent et les performances, et bien plus encore.

+ +

En apprendre plus

+ +

Culture générale

+ + + +

Références techniques

+ + -- cgit v1.2.3-54-g00ecf