Mine

<?php

function read_server_prop($prop)
{
  global $server_dir;
  echo $prop;
  $server_cfg = fopen($server_dir.'config/server.properties','r') or die('Can\'t read file');
  while (!feof($server_cfg))
  {
    $s = fgets($server_cfg, 255);

    if (strrpos(trim($s),$prop)===0) $result = str_replace($prop.' = ','',$s);

  }
  fclose($server_cfg);
  return $result;

}


?>