wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-24 08:23:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Let other extensions know that we're installed

Browse source
This commit is contained in:
Max Semenik 2012-03-12 16:54:17 +04:00
parent b769eafb04
commit 37521118e1
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
PageImages.php
View file

@ -4,6 +4,8 @@ if ( !defined( 'MEDIAWIKI' ) ) {
die;
}
define( 'PAGE_IMAGES_INSTALLED', true );
$wgExtensionCredits['api'][] = array(
'path' => __FILE__,
'name' => 'PageImages',