From 37521118e1f72909c0f34a9e501e6f5af00cd8b8 Mon Sep 17 00:00:00 2001
From: Max Semenik <maxsem.wiki@gmail.com>
Date: Mon, 12 Mar 2012 16:54:17 +0400
Subject: [PATCH] Let other extensions know that we're installed

---
 PageImages.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/PageImages.php b/PageImages.php
index d41ef11..af13267 100644
--- a/PageImages.php
+++ b/PageImages.php
@@ -4,6 +4,8 @@ if ( !defined( 'MEDIAWIKI' ) ) {
 	die;
 }
 
+define( 'PAGE_IMAGES_INSTALLED', true );
+
 $wgExtensionCredits['api'][] = array(
 	'path'           => __FILE__,
 	'name'           => 'PageImages',