Fixed highlighting in search results; changed search algorithm to give more score for terms found in page title; hopefully (hackishly) fixed login_key_cache getting too long

<?php

class Text_Wiki_Render_Plain_Newline extends Text_Wiki_Render {
    
    
    function token($options)
    {
        return "\n";
    }
}

?>