Improve IDE integration
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Art-Baltai
	Apr 11 2020, 2:12 PM

Description

I prepare an integration script for MediaWiki with PHPStorm (IDE buttons)

<?php
require_once __DIR__ . '/bootstrap.php';
require_once __DIR__ . '/../../maintenance/Maintenance.php';
require_once  __DIR__ . '/../../maintenance/doMaintenance.php';

TestSetup::snapshotGlobals();
TestSetup::applyInitialConfig();
ExtensionRegistry::getInstance()->setLoadTestClassesAndNamespaces( true );

register_shutdown_function( function () {
	MediaWikiTestCase::teardownTestDB();
	wfLogProfilingData();
} );

But they're a problem:

PHP Notice:  Constant MW_ENTRY_POINT already defined in /var/www/mediawiki/maintenance/Maintenance.php on line 25

bootstrap.php and Maintenance.php have same defined constant

So, I must

copy-paste code from file to custom bootstrap
or change define const

How is work:

How is configured:

Details

Related Changes in Gerrit:

Subject	Repo	Branch	Lines +/-
Custom bootstrap for PHPStorm integration	mediawiki/core	master	+20 -0
maintenance: Move $IP and MEDIAWIKI assignment to doMaintenance.php	mediawiki/core	master	+6 -6
Maintenance: Don't redefine MW_ENTRY_POINT if it's already set	mediawiki/core	master	+3 -2

Customize query in gerrit

Related Objects
Search...

		Status	Subtype	Assigned	Task
		Resolved		Art-Baltai	T250003 Improve IDE integration
		Resolved		Peter.ovchyn	T246076 Wrong definition of MW_ENTRY_POINT when integration tests run.

Event Timeline

Art-Baltai created this task.Apr 11 2020, 2:12 PM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptApr 11 2020, 2:12 PM

Change 588088 had a related patch set uploaded (by Art-Baltai; owner: Art-Baltai):
[mediawiki/core@master] Improve IDE integration

https://gerrit.wikimedia.org/r/588088

gerritbot added a project: Patch-For-Review.Apr 11 2020, 2:15 PM

Art-Baltai updated the task description. (Show Details)Apr 11 2020, 2:16 PM

Change 588090 had a related patch set uploaded (by Art-Baltai; owner: Art-Baltai):
[mediawiki/core@master] Optional part: Improve IDE integration

https://gerrit.wikimedia.org/r/588090

Change 588088 merged by jenkins-bot:
[mediawiki/core@master] Maintenance: Don't redefine MW_ENTRY_POINT if it's already set

https://gerrit.wikimedia.org/r/588088

ReleaseTaggerBot added a project: MW-1.35-notes (1.35.0-wmf.28; 2020-04-14).Apr 14 2020, 3:00 AM

Change 588173 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[mediawiki/core@master] maintenance: Move $IP and MEDIAWIKI assignment to doMaintenance.php

https://gerrit.wikimedia.org/r/588173