Remove useless reference markers which aren't used anyway
authorBrion Vibber <brion@users.mediawiki.org>
Tue, 27 Jun 2006 22:55:15 +0000 (22:55 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Tue, 27 Jun 2006 22:55:15 +0000 (22:55 +0000)
commitd3d587dac6aecc6aa2332bf2ddcd65acda529bad
treef2af0ad229712d3a47c4ecf666bd9c9d3045d2fc
parent5baebec3d349cb8adcb6fd9c84d1b54fa2431024
Remove useless reference markers which aren't used anyway
includes/Database.php