wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
15235 commits 161 branches 1 tag 190 MiB
Commit graph

3 commits

Author SHA1 Message Date
Bartosz Dziewoński e048c3e188 Use the right localisation message for edit tab on Vector skin 
Bug: T206892
Change-Id: If9494be10c684c1d8892a990dd7ba9c68caa4b69
 2018-10-13 03:16:53 +02:00
James D. Forrester 31f667ccf7 doc: Document all public and protected PHP functions 
Also move the maintenane script to a name that makes
MediaWiki.Files.ClassMatchesFilename.NotMatch not error,
and use the more restrictive licence tag usage for
MediaWiki.Commenting.LicenseComment.InvalidLicenseTag.

Change-Id: Ifa5518cd590ae83c6fd76f1dbb5a2ce40de4b119
 2018-03-28 12:50:44 -07:00
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 VisualEditorDesktopArticleTargetInitModule.php (Browse further)