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

As per r19835, but for a few extensions (prevent some unnecessary lstat

Browse source 
system calls, generated by include or require directives).
This commit is contained in:
Nick Jenkins 2007-02-09 05:55:23 +00:00
parent 627c004733
commit fa8ef0e38c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Cite.php
View file

@ -56,7 +56,7 @@ for ( $i = 0; $i < count( $wgCiteErrors['user'] ); ++$i )
define( $wgCiteErrors['user'][$i], $i + 1 );
# Internationalisation file
require_once( 'Cite.i18n.php' );
require_once( dirname(__FILE__) . '/Cite.i18n.php' );
function wfCite() {
# Add messages

2
SpecialCite.php
View file

@ -22,7 +22,7 @@ $wgExtensionCredits['specialpage'][] = array(
);
# Internationalisation file
require_once( 'SpecialCite.i18n.php' );
require_once( dirname(__FILE__) . '/SpecialCite.i18n.php' );
$wgHooks['SkinTemplateBuildNavUrlsNav_urlsAfterPermalink'][] = 'wfSpecialCiteNav';
$wgHooks['MonoBookTemplateToolboxEnd'][] = 'wfSpecialCiteToolbox';