wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Updating headers in Echo.php

Browse source 
Change-Id: I05b20f59cff94185a91c7f6e5f1f52dc034eafb4
This commit is contained in:
kaldari 2013-08-28 10:38:52 -07:00
parent b85615da7e
commit dc46848c5e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Echo.php
View file

@ -1,6 +1,7 @@
<?php
/**
* MediaWiki Extension: Echo
* http://www.mediawiki.org/wiki/Extension:Echo
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
@ -19,7 +20,8 @@
*
* @file
* @ingroup Extensions
* @author Andrew Garrett
* @author Andrew Garrett, Benny Situ, Ryan Kaldari, Erik Bernhardson
* @licence MIT License
*/
# Alert the user that this is not a valid entry point to MediaWiki if they try to access the special pages file directly.