wiki.techinc.nl/resources/src
Roan Kattouw ca4928bdd9 rcfilters: Prevent tagfilter param from being set to 'all'
On a wiki with very few tags, it's easy to select all tags. Because the
tags group is a string_options group, this results in a query string
with &tagfilter=all, which is incorrect and returns no results. (In the
unlikely event that a tag named 'all' exists, it will return confusing
results instead and cause other bugs.)

Fix this by adding a 'supportsAll' property to string_options groups,
which defaults to true and is only set to false for the tagfilter and
namespace groups. When supportsAll is false, 'all' is not generated or
interpreted as a magic value.

Bug: T325255
Change-Id: I892c9e2893de5b5463da76696db01e556d3e187f
2022-12-14 23:45:27 +00:00
..
codex resourceloader: Pass exports parameter to package modules 2022-02-22 15:02:27 +00:00
codex-search Add codex-search v0.1.0-alpha.6 2022-05-24 17:11:48 -04:00
es6-polyfills web2017-polyfills: Add WHATWG URL polyfill 2022-02-16 17:22:49 +00:00
jquery jquery.makeCollapsible: Use mw.util.getTargetFromFragment 2022-08-31 14:15:45 +01:00
jquery.color
jquery.spinner Remove meaningless "..." tooltip from jQuery spinner module 2022-09-15 13:22:27 +02:00
jquery.tablesorter jquery.tablesorter: Add support for the ordinal indicator º in dates 2022-11-15 20:14:13 +00:00
jquery.tablesorter.styles build: Update SVGO to latest v2.3.0 and re-crush SVGs 2021-05-18 05:50:18 -07:00
jquery.tipsy jquery.tipsy: Amend design to be closer to standard 2021-05-04 23:47:51 +00:00
mediawiki.action HistoryPager: Prettify URL params of form submissions without JS 2022-12-09 18:47:02 +00:00
mediawiki.action.edit Check for existence of 'wpWatchlistExpiryWidget' before infuse 2022-08-10 19:10:42 +00:00
mediawiki.action.styles Prevent Category: entries from overflowing 2022-12-07 23:53:27 +00:00
mediawiki.api mediawiki.api: Remove unnecessary JSON from parse API response 2022-11-02 11:58:21 +01:00
mediawiki.apipretty Put some space between apihelp examples 2022-03-17 11:55:37 +01:00
mediawiki.base resourceloader: assume Console API is always available 2022-12-07 17:15:37 +00:00
mediawiki.cldr
mediawiki.cookie mediawiki.cookie: Revert "Wrap $.cookie in try-catch" 2022-04-03 21:30:28 +00:00
mediawiki.debug Remove unnecessary spaces in parameters of jQuery calls 2021-10-07 21:35:40 +00:00
mediawiki.deflate Update pako to 2.0.4 2022-07-15 23:42:29 +01:00
mediawiki.diff.styles Use standard tab width in diff 2022-09-30 21:58:48 +01:00
mediawiki.feedback mediawiki.feedback: Remove unused 'bugsListLink' config option 2022-12-12 19:35:48 +01:00
mediawiki.feedlink
mediawiki.filewarning mediawiki.filewarning: Don't try to close the uncloseable popup on Escape 2022-05-24 22:49:08 +02:00
mediawiki.ForeignApi build: Update eslint-config-wikimedia to 0.21.0 2021-11-09 21:08:55 +00:00
mediawiki.ForeignStructuredUpload.BookletLayout Merge away mediawiki.ForeignStructuredUpload module 2022-06-23 03:40:46 +00:00
mediawiki.helplink build: Upgrade stylelint-config-wikimedia from 0.10.3 to 0.11.1 2021-06-29 11:22:30 +01:00
mediawiki.hlist Drop messagebox, warningbox, errorbox classes 2022-04-11 17:40:04 +00:00
mediawiki.htmlform Create an HTMLForm field for selecting a timezone 2022-09-23 18:35:51 +02:00
mediawiki.htmlform.ooui Add cond-state classes in the server-side 2022-01-07 22:14:23 +01:00
mediawiki.htmlform.styles Replace uses of deprecated Less mixins 2022-05-17 16:56:38 +00:00
mediawiki.icon
mediawiki.jqueryMsg mediawiki.jqueryMsg: Handle SERVERNAME 2021-12-11 19:23:26 -08:00
mediawiki.language mediawiki.base: Move some variables inline 2022-06-07 00:59:08 +00:00
mediawiki.less mediawiki.ui: Remove obsolete border-width and …-styles variables 2022-09-23 01:41:23 -07:00
mediawiki.libs.jpegmeta
mediawiki.libs.pluralruleparser
mediawiki.messagePoster
mediawiki.misc-authed-curate
mediawiki.misc-authed-ooui SpecialImport: Replace custom JS with HTMLForm disable-if 2022-07-30 01:07:57 +00:00
mediawiki.misc-authed-pref
mediawiki.notification Remove CSS vendor prefixes no longer required 2022-05-16 17:54:14 +00:00
mediawiki.page.gallery.styles Separate gallery styles from the content-media feature 2022-10-01 12:37:03 -04:00
mediawiki.page.ready mediawiki.page.ready/ready.js: Fix eslint issue with jsdoc block 2022-09-22 16:29:47 -04:00
mediawiki.pager.styles Move mw-index-pager-list-header rule to changeslist 2022-03-23 22:13:37 +00:00
mediawiki.pulsatingdot Remove vendor prefixes for CSS animation 2022-05-17 12:34:27 +01:00
mediawiki.rcfilters rcfilters: Prevent tagfilter param from being set to 'all' 2022-12-14 23:45:27 +00:00
mediawiki.router
mediawiki.searchSuggest Treat search result suggestions like clicks (v2) 2022-11-23 10:24:18 +00:00
mediawiki.skinning Skin: Gadgets should have a reliable way to add content to the subtitle 2022-12-08 21:25:50 +00:00
mediawiki.special Special:Contribute: Responsive adjustments and styling 2022-11-21 10:15:28 +05:30
mediawiki.special.apisandbox ApiSandbox: Use 'formatversion=2' instead of 'latest' 2022-10-14 02:12:02 +02:00
mediawiki.special.changeslist Remove hiding of extra namespace checkboxes on legacy watchlist and RC 2022-05-13 21:32:06 +01:00
mediawiki.special.changeslist.watchlistexpiry
mediawiki.special.createaccount Fix error/warning boxes on signup form 2022-03-30 21:31:03 +02:00
mediawiki.special.preferences.ooui Optimize mobile prefs modals 2022-12-12 09:43:53 -06:00
mediawiki.special.search
mediawiki.special.unwatchedPages
mediawiki.special.upload Merge "Deprecate $wgAjaxUploadDestCheck, act as always-true" 2021-12-09 16:19:04 +00:00
mediawiki.special.userlogin.common.styles
mediawiki.special.userlogin.login.styles Simplify a number of styles files by using less 2021-07-18 21:41:50 +00:00
mediawiki.special.userlogin.signup.styles Make use of LESS nesting in a few files 2020-12-15 07:24:41 +00:00
mediawiki.special.watchlist
mediawiki.Title Title.js: Rename Title.getName[Text] 2022-12-12 09:37:42 -05:00
mediawiki.toc
mediawiki.ui Replace deprecated Less .box-shadow() mixin with standard CSS 2022-04-19 21:29:12 -07:00
mediawiki.ui.anchor mediawiki.ui: Organize files by module bundle 2021-11-15 04:10:54 +00:00
mediawiki.ui.button mediawiki.ui: Organize files by module bundle 2021-11-15 04:10:54 +00:00
mediawiki.ui.checkbox Replace uses of deprecated Less mixins 2022-05-17 16:56:38 +00:00
mediawiki.ui.icon Correct flush value for new icon specification 2022-10-31 23:18:39 +00:00
mediawiki.ui.input Replace uses of deprecated Less mixins 2022-05-17 16:56:38 +00:00
mediawiki.ui.radio Replace uses of deprecated Less mixins 2022-05-17 16:56:38 +00:00
mediawiki.Upload.BookletLayout Replace deprecated Less .box-shadow() mixin with standard CSS 2022-04-19 21:29:12 -07:00
mediawiki.Uri build: Update eslint-config-wikimedia to 0.22.1 2022-02-21 12:46:12 +00:00
mediawiki.util Skin: Gadgets should have a reliable way to add content to the subtitle 2022-12-08 21:25:50 +00:00
mediawiki.visibleTimeout build: Update eslint-config-wikimedia to 0.22.1 2022-02-21 12:46:12 +00:00
mediawiki.watchstar.widgets Synchronise watchstars and create new client hook 'wikipage.watchlistChange' 2021-12-20 20:24:10 +00:00
mediawiki.widgets Merge "CopyTextLayout: Use 'copy' icon" 2022-07-19 17:20:04 +00:00
mediawiki.widgets.datetime CalendarWidget: Fix skipping ahead when clicking a date in the next month 2022-07-14 00:56:32 +02:00
mediawiki.widgets.visibleLengthLimit
moment Ensure custom locales for Moment.js overrides, don't change 'en' 2022-07-17 17:37:39 +02:00
qunitjs
startup Merge "resourceloader: simplify how mw.loader loads styles" 2022-12-13 15:35:14 +00:00
vue Upgrade Vuex to 4.0.2 2022-01-18 22:26:29 +00:00
wvui wvui: Change the 'wvui' module back to the full WVUI bundle 2021-08-26 20:03:51 -07:00
.eslintrc.json eslint: Only apply client rules to client files 2022-02-09 02:40:11 +00:00
jquery.lengthLimit.js
mediawiki.checkboxtoggle.js mediawiki.checkboxtoggle: Use .trigger instead of event shorthand 2022-07-26 18:41:24 +01:00
mediawiki.checkboxtoggle.styles.css
mediawiki.collapsiblefieldsetlayout.styles.less Make CollapsibleFieldsetLayout more reusable 2021-05-27 09:12:13 -05:00
mediawiki.confirmCloseWindow.js Use shortcut mw.msg( ... ) instead of mw.message( ... ).text() 2021-10-07 10:18:20 +00:00
mediawiki.content.json.less styling: Use a mixin for positon:sticky browser prefixes 2022-05-05 15:35:35 +00:00
mediawiki.editfont.less Various whitespace changes 2022-07-12 20:07:23 +02:00
mediawiki.experiments.js mediawiki.api: Move example doc from constructor to @class block 2021-08-24 16:38:26 +00:00
mediawiki.ForeignUpload.js Move mediawiki.ForeignUpload configuration settings to package files 2021-10-06 15:28:37 +00:00
mediawiki.htmlform.ooui.styles.less Add CSS class 'mw-htmlform-checkradio-indent' for indenting form fields 2022-06-06 19:03:37 +02:00
mediawiki.inspect.js ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
mediawiki.interface.helpers.styles.less ChangeTags: When showing a tag, also link to a filtered RecentChanges view 2022-12-12 18:42:33 -05:00
mediawiki.notification.convertmessagebox.js
mediawiki.notification.convertmessagebox.styles.less
mediawiki.page.gallery.js Rename some variables in mediawiki.page.gallery.js 2022-04-19 21:32:14 +00:00
mediawiki.page.gallery.slideshow.js
mediawiki.page.image.pagination.js Remove obsolete browser support checks for HTML5 History API 2022-12-12 21:45:25 +00:00
mediawiki.page.preview.css Refactor preview frontend logic into JavaScript API 2022-03-09 13:43:47 -05:00
mediawiki.page.preview.js Add Promise-Non-Write-API-Action header to page.preview.js 2022-10-12 13:10:52 -07:00
mediawiki.page.watch.ajax.js build: Update eslint-config-wikimedia to 0.22.1 2022-02-21 12:46:12 +00:00
mediawiki.special.block.js Update Special:Block UI 2021-09-08 01:43:34 -07:00
mediawiki.special.changecredentails.js Track change email/password 2022-09-01 09:15:42 -06:00
mediawiki.special.changeemail.js Track change email/password 2022-09-01 09:15:42 -06:00
mediawiki.special.changeslist.enhanced.less
mediawiki.special.changeslist.legend.js
mediawiki.special.changeslist.legend.less Added background color to mw-changeslist-legend 2021-06-30 09:59:59 -04:00
mediawiki.special.contributions.js
mediawiki.special.edittags.js
mediawiki.special.import.styles.ooui.less Convert Special:Import to OOUI 2021-01-27 04:56:36 -08:00
mediawiki.special.preferences.styles.ooui.less Optimize mobile prefs modals 2022-12-12 09:43:53 -06:00
mediawiki.special.revisionDelete.js Use shortcut mw.msg( ... ) instead of mw.message( ... ).text() 2021-10-07 10:18:20 +00:00
mediawiki.special.search.commonsInterwikiWidget.js
mediawiki.special.search.interwikiwidget.styles.less Fix iw-widget/footer overlap 2022-12-07 14:25:42 +01:00
mediawiki.special.search.styles.less Fix iw-widget/footer overlap 2022-12-07 14:25:42 +01:00
mediawiki.special.userrights.js
mediawiki.storage.js mediawiki.storage: Update API guidance to mention new expiry feature 2022-08-22 13:01:42 +00:00
mediawiki.String.js mediawiki.String: Add new functions lcFirst and ucFirst 2021-09-28 18:16:54 +00:00
mediawiki.template.js
mediawiki.template.mustache.js
mediawiki.Upload.Dialog.js
mediawiki.Upload.js
mediawiki.user.js docs: Emphasize “Modern”/“Basic support” terminology over “Grade A”/“C” 2021-05-14 05:27:46 -07:00
mediawiki.userSuggest.js Make first char of username in ApiQueryAllUsers case-insensitive 2021-09-21 06:21:21 +00:00
oojs-global.js
ooui-local.js
skip-es6-polyfills.js es6-polyfills: Merge "es6-promise" into "es6-polyfills" 2021-04-21 21:50:53 +00:00
skip-web2017-polyfills.js web2017-polyfills: Add WHATWG URL polyfill 2022-02-16 17:22:49 +00:00