wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 09:57:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
7770 commits 13 branches 17 tags 198 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders bdb4a8a149 Simplify toDataElement in MW 
As per I54943588c5cc2 in core.

Change-Id: Ia40e7327c4ce07a79d64a6d5b1ff0d7acec55171
 2014-01-27 18:43:36 -08:00
Ed Sanders cd55b92bb2 Fix more copyright headers not updated to 2014 
Change-Id: Ib45ae179c001ca270597ad954f65b0b1b2c776de
 2014-01-13 15:08:24 +00:00
James D. Forrester 707f7c93a5 Let users set __NOEDITSECTION__ status 
Adds a checkbox to the page settings pane of the meta dialog that lets
users set or unset the __NOEDITSECTION__ flag on the page.

Change-Id: If1eca58e28d214021f5f5582856e595d4d0fbc43
 2014-01-06 17:42:57 +08:00