wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-18 02:00:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
2307 commits 14 branches 16 tags 72 MiB
Commit graph

1 commit

Author SHA1 Message Date
Stephen Niedzielski 36935fe1f3 [hygiene] move ServiceWirings.php to ServiceWiring.php 
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
 2020-01-14 08:49:11 -07:00
Renamed from includes/ServiceWirings.php (Browse further)