+ mediawiki_extension "Mantle" do
+ site new_resource.name
+ update_site false
+ end
+
+ mediawiki_extension "MobileFrontend" do
+ site new_resource.name
+ template "mw-ext-MobileFrontend.inc.php.erb"
+ update_site false
+ end
+
+ mediawiki_extension "DisableAccount" do
+ site new_resource.name
+ template "mw-ext-DisableAccount.inc.php.erb"
+ update_site false
+ end
+