Closed Bug 1065007 Opened 7 years ago Closed 7 years ago

Enable Gadgets extension (bundled with mediawiki)

Categories

(Websites :: wiki.mozilla.org, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED
2014-Q4

People

(Reporter: ckoehler, Unassigned)

References

()

Details

(Whiteboard: [kanban:https://kanbanize.com/ctrl_board/4/1394] [dev=2014-10-02][prod=2014-10-02])

Gadgets extension is bundled with MediaWiki as of 1.18, so it's already installed on Mozilla Wiki, we just need to enable it with:

require_once "$IP/extensions/Gadgets/Gadgets.php";
Whiteboard: [dev=2014-09-25]
Target Milestone: 2014-Q4 → 2014-Q3
Whiteboard: [dev=2014-09-25] → [dev=2014-10-02]
Target Milestone: 2014-Q3 → 2014-Q4
Summary: Enabled Gadgets extension → Enable Gadgets extension (bundled with mediawiki)
Whiteboard: [dev=2014-10-02] → [dev=2014-10-02][prod=2014-10-02]
Whiteboard: [dev=2014-10-02][prod=2014-10-02] → [kanban:https://kanbanize.com/ctrl_board/4/1394] [dev=2014-10-02][prod=2014-10-02]
This extension has been added to the dev, stage, and production wiki environments.

$ cd <wiki dir>
$ sudo git submodule add -f https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Gadgets.git extensions/Gadgets
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.