diff -r 0c5efda996bf -r 9de392a67964 plugins/SpecialSearch.php