wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 22:35:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
14120 commits 162 branches 1 tag 191 MiB
Commit graph

1 commit

Author SHA1 Message Date
James D. Forrester fa9438e5fa build: Move PHP files to expected paths 
Principal code is in includes/*.php with the file named the same as the class it
contains. The maintenance script is moved to maintenance/ for clarity.

Change-Id: Icb4cdffb1bd4716e14f883d667def96671b42992
 2018-02-07 12:31:08 -08:00
Renamed from autodisablePref.php (Browse further)