wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../maintenance
History
Timo Tijhof 3d3972e972 Maintenance script: Update header 
This is a much simpler pattern and more consistent
with other extensions.

Change-Id: Ia8b31ff0573287325eeb5a878a1eb36bbf6374af
2013-02-26 16:06:16 +01:00
..
makeStaticLoader.php Maintenance script: Update header 2013-02-26 16:06:16 +01:00