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