From d2949d9a21e0a949fa4a0eba38b63bdcdafe4de2 Mon Sep 17 00:00:00 2001
From: Jens Frank <jeluf@users.mediawiki.org>
Date: Sat, 21 May 2005 10:25:51 +0000
Subject: [PATCH] uppercase URL

---
 includes/ExternalStoreDB.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/ExternalStoreDB.php b/includes/ExternalStoreDB.php
index de4d3ccebf..ce30d2ee13 100644
--- a/includes/ExternalStoreDB.php
+++ b/includes/ExternalStoreDB.php
@@ -15,8 +15,8 @@ class ExternalStoreDB {
 	function fetchFromURL($url) {
 		global $wgExternalServers;
 		#
-		# URLs have the form db://cluster/id, e.g.
-		# mysql://cluster1/3298247
+		# URLs have the form DB://cluster/id, e.g.
+		# DB://cluster1/3298247
 		#
 		$path = explode( '/', $url );
 		$cluster  = $path[2];
-- 
2.20.1