From 0134acd53fb93ef64b60504ac73e20dc27910578 Mon Sep 17 00:00:00 2001 From: Joas Schilling Date: Tue, 10 Jun 2014 11:50:11 +0200 Subject: [PATCH] [ticket/12508] Ignore extensions in migration_tips dev tool PHPBB3-12508 --- phpBB/phpbb/console/command/dev/migration_tips.php | 1 + 1 file changed, 1 insertion(+) diff --git a/phpBB/phpbb/console/command/dev/migration_tips.php b/phpBB/phpbb/console/command/dev/migration_tips.php index 62a0a68865..c2f61568ea 100644 --- a/phpBB/phpbb/console/command/dev/migration_tips.php +++ b/phpBB/phpbb/console/command/dev/migration_tips.php @@ -37,6 +37,7 @@ class migration_tips extends \phpbb\console\command\command protected function execute(InputInterface $input, OutputInterface $output) { $migrations = $this->extension_manager->get_finder() + ->set_extensions(array()) ->core_path('phpbb/db/migration/data/') ->get_classes(); $tips = $migrations;