Fix comment in SearchEngine.php
authoraude <aude.wiki@gmail.com>
Tue, 1 Mar 2016 09:48:55 +0000 (10:48 +0100)
committeraude <aude.wiki@gmail.com>
Tue, 1 Mar 2016 09:48:55 +0000 (10:48 +0100)
commit3a5931c3e508e53bbf441196aaeb2ca5afce8b23
tree7689f7720c00da6cc697dab9ed496327fea17c0a
parent929fad38095b1e10dae3d7af385afd4bfd223c25
Fix comment in SearchEngine.php

Change-Id: Ib00b42d2210be5bc1125fa7ba74c27a5d7fbf36c
includes/search/SearchEngine.php