Closed
Bug 1065007
Opened 10 years ago
Closed 10 years ago
Enable Gadgets extension (bundled with mediawiki)
Categories
(Websites :: wiki.mozilla.org, defect)
Websites
wiki.mozilla.org
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";
Reporter | ||
Updated•10 years ago
|
Whiteboard: [dev=2014-09-25]
Target Milestone: 2014-Q4 → 2014-Q3
Reporter | ||
Updated•10 years ago
|
Whiteboard: [dev=2014-09-25] → [dev=2014-10-02]
Reporter | ||
Updated•10 years ago
|
Target Milestone: 2014-Q3 → 2014-Q4
Reporter | ||
Updated•10 years ago
|
Summary: Enabled Gadgets extension → Enable Gadgets extension (bundled with mediawiki)
Reporter | ||
Updated•10 years ago
|
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]
Comment 1•10 years ago
|
||
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: 10 years ago
Resolution: --- → FIXED
You need to log in
before you can comment on or make changes to this bug.
Description
•