title: php file_get_contents can't find a file
body: <p><strong>About</strong>
  I am using a simple webpage to edit a config file remotely. It works by reading a .properties file, uploading it to a textbox, and saving the changes when a button is clicked.</p>
  <p>The <a href="https://github.com/kevinBecker/ASV_Interface/" rel="nofollow noreferrer">code</a> works locally on my Windows machine running PHP 8.0.12. However, for Settings.php, when I try to run it on a raspberry pi with apache2 and PHP 7.3.31, the <em>file_get_contents</em> function is returning false.</p>
  <p><strong>Here is what I have tried so far:</strong></p>
  <ul>
  <li>Multiple full file paths to match the directories on the raspberry pi:
  'C://javaASV/src/...'
  '//javaASV/src/...'
  '/../javaASV/src/...'
  '/home/pi/javaASV/src/...' and more</li>
  <li>urlencode around the file path strings</li>
  <li>Changing $use_include_path to true and false</li>
  </ul>
  <p><strong>I have 2 related questions:</strong></p>
  <ol>
  <li>Why is it returning false? How can I fix this?</li>
  <li>How should I type the home directory in the file path? (like going to cd ~)</li>
  </ol>
  <p>Any help is appreciated. Thank you!</p>