warning fix
authorGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 15 Apr 2004 22:44:59 +0000 (22:44 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 15 Apr 2004 22:44:59 +0000 (22:44 +0000)
commitba2ca6a3909e05b432f77f0e271a94bc96a1e9f8
treeec206175e604176929bb6f37b8d5c545a59de910
parent076aa2d594efe5f4692d7bca39b6855f2d94f3d7
warning fix
includes/SearchEngine.php