This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Popups
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Popups
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced
2024-11-28 01:10:04 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
ff2ba9ebf5
mediawiki-extensions-Popups
/
resources
/
dist
History
Vedmaka
ff2ba9ebf5
Adds "$wgPopupsTextExtractsIntroOnly" option to control "intro" parameters for TextExtracts API request
...
Change-Id: I84f91ab0752bbd4a5b1ee159b7cbe1388f942f24
2020-12-07 15:00:29 -08:00
..
.eslintrc.json
build: Update eslint-config-wikimedia to 0.16.2
2020-06-26 17:05:56 +01:00
index.js
Adds "$wgPopupsTextExtractsIntroOnly" option to control "intro" parameters for TextExtracts API request
2020-12-07 15:00:29 -08:00
index.js.map.json
Adds "$wgPopupsTextExtractsIntroOnly" option to control "intro" parameters for TextExtracts API request
2020-12-07 15:00:29 -08:00
