wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2025-01-06 02:04:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
15931 commits 12 branches 17 tags 192 MiB
Commit graph

4 commits

Author SHA1 Message Date
Max Semenik 718e7107b8 Don't use Maintenance::$mDescription directly 
Change-Id: I8ec00d0e7b0105dd9d30602007bcc7aecc8ca089
 2019-06-14 17:52:36 -07:00
Umherirrender a07ad01594 Use ::class for class name resolution 
Available since php5.5

Change-Id: I9392155193275d20a82bde8eb7964d466e190f6b
 2019-03-02 23:46:12 +01:00
James D. Forrester 3c293ea00c doc: Bump copyright year for 2019 
Change-Id: I8991b97c980d4149f53eb5601036220ef3c0c440
 2019-01-01 13:24:23 +00: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
Renamed from maintenance/autodisablePref.php (Browse further)