wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-12-12 15:55:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

* Updated link to documentation, now at mediawiki.org not meta

Browse source 
* Removed links to HTML <cite> element, confusing
This commit is contained in:
Ævar Arnfjörð Bjarmason 2009-07-10 13:51:26 +00:00
parent 74a5904ced
commit a19ef239f5
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Cite.php
View file

@ -7,9 +7,7 @@ if ( ! defined( 'MEDIAWIKI' ) )
*
* @addtogroup Extensions
*
* @link http://meta.wikimedia.org/wiki/Cite/Cite.php Documentation
* @link http://www.w3.org/TR/html4/struct/text.html#edef-CITE <cite> definition in HTML
* @link http://www.w3.org/TR/2005/WD-xhtml2-20050527/mod-text.html#edef_text_cite <cite> definition in XHTML 2.0
* @link http://www.mediawiki.org/wiki/Extension:Cite/Cite.php Documentation
*
* @bug 4579
*