wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-16 20:33:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
5523 commits 163 branches 0 tags 73 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader ef3d2b886d build: Updating mediawiki/mediawiki-phan-config to 0.9.0 
Change-Id: I03333636654eff80d4fe7fa543ac9e6c321af891
 2019-12-29 11:59:32 +00:00
Derick Alangi 3971e32f1b Code improvements for includes/ **only** directory 
This code improvements seeks to improve on code readability, consistency,
maintainability and efficiency.

Change-Id: I4f07886044e9a75824f9e7ddad039f3112b1c4a1
 2019-03-05 18:58:52 +01:00
Phantom42 254cf8360b Fix multiple PHP class declarations in one file 
All files containing more than one PHP class were split into
multiple files.

extension.json was updated to match new class locations.

Bug: T177809
Change-Id: I4e7d8f02164c3048c41c4c9fbe4be18a99e7abaa
 2018-01-21 21:17:53 +00:00