mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-30 17:54:20 +00:00
c79fcaa5ec
Will trigger a warning that it has moved to a new repository Change-Id: I21d5d751b1043bfd53f2f208c7f28285f5ad9a78
8 lines
209 B
PHP
8 lines
209 B
PHP
<?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
|
|
);
|