Physikerwelt has uploaded a new change for review.
https://gerrit.wikimedia.org/r/152720
Change subject: Update MathSearch role
......................................................................
Update MathSearch role
* MathSearch uses the master branch of the Math extension now
Change-Id: I44936742367fc4f4f3b6f083ec3be8c806e51b5d
---
M puppet/manifests/roles/math_search.pp
1 file changed, 3 insertions(+), 6 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/20/152720/1
diff --git a/puppet/manifests/roles/math_search.pp
b/puppet/manifests/roles/math_search.pp
index 55effb5..491e574 100644
--- a/puppet/manifests/roles/math_search.pp
+++ b/puppet/manifests/roles/math_search.pp
@@ -1,15 +1,12 @@
-# == Class: role::math::search
+# == Class: role::mathsearch
#
# The MathSearch extension integrates the MathWeb Search, a
# content-based search engine for mathematical formulae. It indexes
# MathML formulae, using a technique derived from automated theorem
# proving: term indexing.
-class role::mathsearch inherits role::math {
+class role::mathsearch {
include role::geshi
-
- Mediawiki::Extension['Math'] {
- branch +> 'dev',
- }
+ include role::math
mediawiki::extension { 'MathSearch':
require => Mediawiki::Extension['Math'],
--
To view, visit https://gerrit.wikimedia.org/r/152720
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I44936742367fc4f4f3b6f083ec3be8c806e51b5d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Physikerwelt <w...@physikerwelt.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
