wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 15:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Turn ext.abuseFilter.css to LESS

Browse source 
Just as a preparation step.

Change-Id: I6df7731071b50c9d37bfe0a7fca70d42d2d533f7
This commit is contained in:
Ebrahim Byagowi 2024-08-07 00:50:01 +03:30
parent 86370ce996
commit 6a2997688a
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -257,7 +257,7 @@
},
"ResourceModules": {
"ext.abuseFilter": {
"styles": "ext.abuseFilter.css"
"styles": "ext.abuseFilter.less"
},
"ext.abuseFilter.edit": {
"scripts": "ext.abuseFilter.edit.js",

0
modules/ext.abuseFilter.css → modules/ext.abuseFilter.less
View file