pub / serci

commit 6241ea61d27fa5d435fd059f0a595849c2471025
parent 0ad815420abc7bc82b77f9f3266e85e5dcf8affd
Author: JayVii <jayvii[AT]posteo[DOT]de>
Date:   Mon,  8 Jul 2024 10:12:18 +0200

feat: add PHP documentations

Diffstat:
M
config/config.php
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/config/config.php b/config/config.php
@@ -199,6 +199,12 @@ $searches = array(
         "query" => "https://www.npmjs.com/search?q=%s",
         "keywords" => array("npm", "npmjs", "node", "js")
     ),
+    "php" => array(
+        "name" => "PHP Manual",
+        "website" => "https://www.php.net",
+        "query" => "https://www.php.net/manual-lookup.php?pattern=%s",
+        "keywords" => array("php", "phpdoc", "phpdocs", "phpman", "phpmans")
+    ),
     /* Misc */
     "symbl" => array(
         "name" => "SYMBL",