[SPIP][PLUGINS] v3.0-->v3.2

[lhc/web/www.git] / www / plugins-dist / aide / aide_options.php

diff --git a/www/plugins-dist/aide/aide_options.php b/www/plugins-dist/aide/aide_options.php
new file mode 100644 (file)
index 0000000..b122e59
--- /dev/null
+++ b/www/plugins-dist/aide/aide_options.php
@@ -0,0 +1,9 @@
+<?php
+
+/**
+ * Définition du serveur d'aide par défaut
+ *
+ * @package SPIP\Aide\Options
+ */
+
+$GLOBALS['help_server'] = array('https://www.spip.net/aide');