wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-24 07:33:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Spacing

Browse source
This commit is contained in:
Rob Church 2007-10-02 22:43:28 +00:00
parent 69f694f947
commit e2d2219bdf
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Cite.php
View file

@ -394,7 +394,7 @@ function wfCite() {
'cite_references_link_one',
$this->referencesKey( $key ),
$this->refKey( $key, $val['count'] ),
($val['text']!=''?$val['text']:$this->error(CITE_ERROR_REFERENCES_NO_TEXT))
( $val['text'] != '' ? $val['text'] : $this->error( CITE_ERROR_REFERENCES_NO_TEXT ) )
);
// Named references with >1 occurrences
else {
@ -415,7 +415,7 @@ function wfCite() {
wfMsgForContentNoTrans( 'cite_references_link_many',
$this->referencesKey( $key ),
$list,
($val['text']!=''?$val['text']:$this->error(CITE_ERROR_REFERENCES_NO_TEXT))
( $val['text'] != '' ? $val['text'] : $this->error( CITE_ERROR_REFERENCES_NO_TEXT ) )
);
}
}