commit fonctionne ou pas ?

2022-11-30 17:27:28 +01:00
commit e9dd38c3a8
3397 changed files with 593718 additions and 0 deletions
@@ -0,0 +1,41 @@
+name: DevTools
+slug: devtools
+type: plugin
+version: 1.5.4
+description: Plugin and Theme scaffolding utilities
+icon: cogs
+author:
+  name: Team Grav
+  email: devs@getgrav.org
+  url: http://getgrav.org
+homepage: https://github.com/getgrav/grav-plugin-devtools
+keywords: devtools, plugin, theme
+bugs: https://github.com/getgrav/grav-plugin-devtools/issues
+license: MIT
+
+dependencies:
+  - { name: grav, version: '>=1.7.0' }
+
+form:
+  validation: strict
+  fields:
+    enabled:
+      type: toggle
+      label: PLUGIN_ADMIN.PLUGIN_STATUS
+      highlight: 1
+      default: 0
+      options:
+        1: PLUGIN_ADMIN.ENABLED
+        0: PLUGIN_ADMIN.DISABLED
+      validate:
+        type: bool
+    collision_check:
+      type: toggle
+      label: PLUGIN_DEVTOOLS.COLLISION_CHECK
+      highlight: 1
+      default: 1
+      options:
+        1: PLUGIN_ADMIN.ENABLED
+        0: PLUGIN_ADMIN.DISABLED
+      validate:
+        type: bool