format php code