[update] _php/_lantern/lantern_search.php (minor reformatting)