wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-09-25 03:09:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources
History
bwang c9389b7dab Update scroll threshold to be the same as scroll padding top 
Bug: T317661
Bug: T314419
Change-Id: Ia2d14dca1e3e2069828b201d6d3a053e4df712fc
2023-03-07 18:28:23 +00:00
..
common Update scroll threshold to be the same as scroll padding top 2023-03-07 18:28:23 +00:00
mediawiki.less mediawiki.skin.variables: Add border-style and border-width vars 2022-09-23 17:58:42 +00:00
mediawiki.less.legacy Vector legacy no longer imports variables from Vector modern 2022-08-24 15:08:35 +00:00
skins.vector.es6 Update scroll threshold to be the same as scroll padding top 2023-03-07 18:28:23 +00:00
skins.vector.js Register sticky header dropdown as icon capable 2023-03-03 17:09:41 +00:00
skins.vector.legacy.js Update @wikimedia/types-wikimedia to latest version 2022-03-28 23:33:50 +00:00
skins.vector.search search: Undo v-i18n-html workaround 2023-01-30 23:54:51 +00:00
skins.vector.styles Merge "Increase scroll-padding-top for page sections" 2023-03-01 19:46:33 +00:00
skins.vector.styles.legacy 2010: IP masked user icon should differ 2023-02-24 09:04:25 -08:00
CheckboxHack.d.ts
CollapsibleTabsPlugin.d.ts
MediaWikiPageReady.d.ts
mw.d.ts
VectorResourceLoaderVirtualConfig.d.ts Remove $wgVectorSearchHost, replace with $wgVectorSearchApiUrl 2022-10-07 00:57:58 +00:00
vue.d.ts