wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-23 23:13:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Gadgets
2182 commits 165 branches 5 tags 22 MiB
PHP 99.7%
JavaScript 0.3%
Go to file
Siddharth VP bf1d6b3e93 Remove gadgets-edit right, use core editsite{css,js,json} rights instead 
With GadgetDefinitionNamespaceRepo, there should be separate rights for
editing gadget json as opposed to editing gadget css/js, so that admins
can be granted the former, while the latter remains restricted to
int-admins.

Reusing the MW core rights for site CSS/JS/JSON seems to make the most
sense here. Protection is now applied via GetUserPermissionsErrors hook
rather than as namespace protection.

For editing any non-CSS/JS/JSON pages in the namespace, editsitejs right
is required.

Bug: T298834
Change-Id: I6ffd5e9467774f1e79ccdce8b6b4739f07be2da8
2023-12-05 20:37:59 +05:30
.phan Use HookHandlers for CodeEditor hook 2023-08-16 05:30:40 +00:00
i18n Remove gadgets-edit right, use core editsite{css,js,json} rights instead 2023-12-05 20:37:59 +05:30
includes Remove gadgets-edit right, use core editsite{css,js,json} rights instead 2023-12-05 20:37:59 +05:30
tests/phpunit Show gadget definition validation warnings in Special:Gadgets 2023-11-30 21:59:04 +00:00
.eslintrc.json build: Update linters 2023-07-01 14:26:21 +01:00
.gitignore Fix typos, update gitignore with OS tempfiles 2020-03-11 21:24:22 +05:30
.gitreview Whoops, track not trace 2016-10-24 17:02:35 -07:00
.phpcs.xml Add missing @var and improve documentation 2020-12-18 00:21:49 +01:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-19 12:48:57 +00:00
composer.json build: Updating dependencies 2023-04-29 04:17:41 +00:00
COPYING Add COPYING 2014-01-16 02:31:28 +00:00
extension.json Remove gadgets-edit right, use core editsite{css,js,json} rights instead 2023-12-05 20:37:59 +05:30
Gadgets.alias.php Translate Gadget aliases and namespaces into Uzbek (uz) 2023-05-17 12:21:47 +02:00
Gadgets.namespaces.php Add Sicilian namespace translations 2023-05-26 14:01:57 +02:00
Gruntfile.js build: Update linters 2023-07-01 14:26:21 +01:00
package-lock.json build: Update linters 2023-07-01 14:26:21 +01:00
package.json build: Update linters 2023-07-01 14:26:21 +01:00
README.md Merge "Use wfLoadExtension in README.md" 2016-12-23 21:46:44 +00:00

README.md

Gadgets

The Gadgets extension provides a way for users to pick JavaScript or CSS based "gadgets" that other wiki users provide.

See https://www.mediawiki.org/wiki/Extension:Gadgets for more documentation.

The Gadgets extension was originally written by Daniel Kinzler in 2007 and is released under the GNU General Public Licence (GPL).

Prerequisites

This version of Gadgets requires MediaWiki 1.27 or later. To get a version compatible with an earlier MediaWiki release, visit ExtensionDistributor/Gadgets.

Installing

Copy the Gadgets directory into the extensions folder of your MediaWiki installation. Then add the following lines to your LocalSettings.php file (near the end):

wfLoadExtension( 'Gadgets' );

Usage

See https://www.mediawiki.org/wiki/Extension:Gadgets#Usage

Caveats

  • Gadgets do not apply to Special:Preferences, Special:UserLogin and Special:ResetPass so users can always disable any broken gadgets they may have enabled, and malicious gadgets will be unable to steal passwords.

Configuration

  • $wgGadgetsRepoClass: configures which GadgetRepo implementation will be used to source gadgets from. Currently, "MediaWikiGadgetsDefinitionRepo" is the recommended setting and default. The "GadgetDefinitionNamespaceRepo" is not ready for production usage yet.
  • $wgSpecialGadgetUsageActiveUsers: configures whether or not to show active user stats on Special:GadgetUsage. True by default.