mediawiki-extensions-Visual.../maintenance
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