?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 42227d5) | patch
Fix exception when searching for stuff beginning with "Media:"
commit791d96bff3e9a468a8f564e500426561fdce4695
authorMax Semenik <maxsem.wiki@gmail.com>
Thu, 22 Nov 2012 00:29:49 +0000 (22 04:29 +0400)
committerMax Semenik <maxsem.wiki@gmail.com>
Thu, 22 Nov 2012 00:29:49 +0000 (22 04:29 +0400)
treedf3769b2fc13d33e1e06d6461de9cf7d44ffe114tree | snapshot (tar.gz zip)
parent42227d599dafef5b87b5fd026b478500361dce97commit | diff
Fix exception when searching for stuff beginning with "Media:"

Change-Id: I8b5a419fa369ad91034c3769a4b228290b878e1b
includes/search/SearchEngine.php diff | blob | blame | history
MediaWiki Core