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

Merge "Remove legacy SpecialCite.php"

Browse source
This commit is contained in:
jenkins-bot 2016-10-03 20:00:30 +00:00 committed by Gerrit Code Review
parent e64624eeef be1e8b400c
commit 85fc76a12b
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
SpecialCite.php
View file

@ -1,7 +0,0 @@
<?php
trigger_error(
'Special:Cite was moved to a separate CiteThisPage extension, ' .
'see <https://www.mediawiki.org/wiki/Extension:CiteThisPage> for information on how to install it',
E_USER_WARNING
);