So that it can be used by extensions too. Use case: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/GrowthExperiments/+/702893 Change-Id: Ie1c71484526718b91c43ae881b0230ac4f1cef61 |
||
|---|---|---|
| .. | ||
| page.js | ||
| recentchanges.js | ||
| user.js | ||
| watchlist.js | ||
So that it can be used by extensions too. Use case: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/GrowthExperiments/+/702893 Change-Id: Ie1c71484526718b91c43ae881b0230ac4f1cef61 |
||
|---|---|---|
| .. | ||
| page.js | ||
| recentchanges.js | ||
| user.js | ||
| watchlist.js | ||