Closed Bug 1065007 Opened 11 years ago Closed 11 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: 11 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.