Forgot to remove leading <? used for debugging

src/search.php

-<?
 function readInt($file)
 {
   $b1 = ord(fgetc($file)); $b2 = ord(fgetc($file));