wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-11 16:49:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename ext.cite.style.css to ext.cite.parsoid.styles.css

Browse source 
ext.cite.style.css is very close to ext.cite.styles.css and is
often confusing.

In about 3 weeks (the current PC expiry time), we should be able to
get rid of the ext.cite.style module from extension.json after
removing all references to it from other repos and caches.

I don't see a reason to rename all the other language specific
CSS files since there is no room for being confused there.

Change-Id: I3a41f435b0cbe51f8c9a6dde8a9f6eb13a9879f7
This commit is contained in:
Subramanya Sastry 2023-07-13 10:50:57 -05:00
parent 4265152ea6
commit a5b8640928
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
extension.json
View file

@ -60,9 +60,17 @@
"mobile"
]
},
"ext.cite.parsoid.styles": {
"class": "Cite\\ResourceLoader\\CiteCSSFileModule",
"styles": "ext.cite.parsoid.styles.css",
"targets": [
"desktop",
"mobile"
]
},
"ext.cite.style": {
"class": "Cite\\ResourceLoader\\CiteCSSFileModule",
"styles": "ext.cite.style.css",
"styles": "ext.cite.parsoid.styles.css",
"targets": [
"desktop",
"mobile"

0
modules/ext.cite.style.css → modules/ext.cite.parsoid.styles.css
View file