PHP: Added hidden preference for PHP interpreter output timeout - fixes

#1684

Some PHP versions may take longer than the hord-coded 5 seconds to initialize.
Changed this into a preference.

rn=

src/components/koAppInfo.py

@@ -842,7 +842,7 @@ def _GetPHPOutputAndError(self, phpCode, php=None):
                     log.error("Caught PHP execution exception: %s", e.strerror)
                 return None, e.strerror
             try:
-                p.wait(5)
+                p.wait(self._prefs.getLong("phpGetOutputAndErrorTimeout", 5))
             except process.ProcessError:
                 # Timed out.
                 log.error("PHP command timed out: %r", argv)

src/prefs/prefs.p.xml

@@ -178,6 +178,7 @@
   <string id="phpCommentStyle">//,#</string>
   <boolean id="phpDoubleClickSelectsEntireVariable">1</boolean>
   <boolean id="phpLintWithINIFile">1</boolean>
+  <long id="phpGetOutputAndErrorTimeout">5</long>
 
   <!-- Additional  directories for Python, Perl, etc. These are
        stored as pathsep-separated local paths. -->