So that it can be used by extensions too. Use case: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/GrowthExperiments/+/702893 Change-Id: Ie1c71484526718b91c43ae881b0230ac4f1cef61 |
||
|---|---|---|
| .. | ||
| delete.page.js | ||
| edit.page.js | ||
| history.page.js | ||
| preferences.page.js | ||
| protect.page.js | ||
| recentchanges.page.js | ||
| restore.page.js | ||
| undo.page.js | ||
| watchable.page.js | ||
| watchlist.page.js | ||