Revert "Convert Special:Search to OOUI"
authorEBernhardson <ebernhardson@wikimedia.org>
Fri, 24 Jul 2015 20:10:52 +0000 (20:10 +0000)
committerBartosz Dziewoński <matma.rex@gmail.com>
Fri, 24 Jul 2015 20:43:57 +0000 (20:43 +0000)
commit3c245536efcb134d8ca3078a2262ac1b489dafc8
tree1a4ed6f85e77e2586f6cbd320629a820f94fa96d
parent855f4cc0bf7e769ae947597ca5ea5007965f5bad
Revert "Convert Special:Search to OOUI"

This reverts commit 855f4cc0bf7e769ae947597ca5ea5007965f5bad.

Bug: T106273
Change-Id: Iba0ffc05458a855590b7aa0fb887417be8304de1
includes/specials/SpecialSearch.php
resources/Resources.php
resources/src/mediawiki.special/mediawiki.special.search.css
resources/src/mediawiki.special/mediawiki.special.search.js
resources/src/mediawiki/mediawiki.searchSuggest.js