diff options
Diffstat (limited to 'skins')
| -rw-r--r-- | skins/Vector.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/skins/Vector.php b/skins/Vector.php index 3c59015..99582c9 100644 --- a/skins/Vector.php +++ b/skins/Vector.php @@ -447,6 +447,8 @@ class VectorTemplate extends QuickTemplate { } // Output HTML Page $this->html( 'headelement' ); + + global $wgVectorUseSimpleSearch; ?> <style> #mga-body { |