Check /usr/share/php/bin as optional search path component

diff --git a/sys/profile b/sys/profile
index 423c3803e1177587dd2512dc8aaee5dc5b5dcdb0..7a356c101232bcfce467e06ae1a434092443cc69 100644 (file)
--- a/sys/profile
+++ b/sys/profile
@@ -48,7 +48,7 @@ if [ "$UID" -eq 0 ]; then
        [ -n "$path" ] && PATH="$path$PATH"
 fi
 # append optional directories to PATH ...
-for d in /usr/bin/X11 /usr/games; do
+for d in /usr/bin/X11 /usr/games /usr/share/php/bin; do
        [ -d "$d" -o -h "$d" ] && PATH="$PATH:$d"
 done
 # set PATH so it includes user's private executables