wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-23 10:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

[hygiene] move ServiceWirings.php to ServiceWiring.php

Browse source 
Remove pluralization from the service wiring filename for consistency
with similar files in other Web repos. There are multiple services in
this file but the point of distinction doesn't seem worthwhile.

Change-Id: I6ff4f9caf66a6156f6aa6a8b808f51c356df3414
This commit is contained in:
Stephen Niedzielski 2020-01-14 08:41:15 -07:00
parent 23bb1c1796
commit 36935fe1f3
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

@ -201,7 +201,7 @@
"remoteExtPath": "Popups"
},
"ServiceWiringFiles": [
"includes/ServiceWirings.php"
"includes/ServiceWiring.php"
],
"manifest_version": 2
}

0
includes/ServiceWirings.php → includes/ServiceWiring.php
View file