feat: add tip for bash history (#492)

[xdg-ninja.git] / programs / php.json

diff --git a/programs/php.json b/programs/php.json
index 2bf91ec635f428340904686bbecc59d801f69f1b..eac6a40f4980803fd88dc0f5555215804c2067e7 100644 (file)
--- a/programs/php.json
+++ b/programs/php.json
@@ -3,8 +3,8 @@
     "files": [
         {
             "path": "$HOME/.php_history",
-            "movable": false,
-            "help": "Currently unsupported.\n\n_Relevant issue:_ https://github.com/php/php-src/issues/8546\n"
+            "movable": true,
+            "help": "Support since PHP _8.4_ through the PHP_HISTFILE environment variable.\n\nExport the following environment variable:\n\n```sh\nexport PHP_HISTFILE=\"$XDG_STATE_HOME\"/php/history\n```\n"
         }
     ]
 }