[MediaWiki-commits] [Gerrit] Wikitech: Remove address, domain, proxy special pages. - change (mediawiki...OpenStackManager)
jenkins-bot has submitted this change and it was merged. Change subject: Wikitech: Remove address, domain, proxy special pages. .. Wikitech: Remove address, domain, proxy special pages. Bug: T124184 Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 --- M OpenStackManager.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified diff --git a/OpenStackManager.php b/OpenStackManager.php index 28f009f..bedab09 100644 --- a/OpenStackManager.php +++ b/OpenStackManager.php @@ -234,14 +234,11 @@ $wgSpecialPages['NovaInstance'] = 'SpecialNovaInstance'; $wgSpecialPages['NovaKey'] = 'SpecialNovaKey'; $wgSpecialPages['NovaProject'] = 'SpecialNovaProject'; -$wgSpecialPages['NovaDomain'] = 'SpecialNovaDomain'; -$wgSpecialPages['NovaAddress'] = 'SpecialNovaAddress'; $wgSpecialPages['NovaSecurityGroup'] = 'SpecialNovaSecurityGroup'; $wgSpecialPages['NovaServiceGroup'] = 'SpecialNovaServiceGroup'; $wgSpecialPages['NovaRole'] = 'SpecialNovaRole'; $wgSpecialPages['NovaVolume'] = 'SpecialNovaVolume'; $wgSpecialPages['NovaSudoer'] = 'SpecialNovaSudoer'; -$wgSpecialPages['NovaProxy'] = 'SpecialNovaProxy'; $wgSpecialPages['NovaPuppetGroup'] = 'SpecialNovaPuppetGroup'; $wgSpecialPages['NovaResources'] = 'SpecialNovaResources'; -- To view, visit https://gerrit.wikimedia.org/r/279569 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/OpenStackManager Gerrit-Branch: wmf/1.27.0-wmf.18 Gerrit-Owner: Alex Monk Gerrit-Reviewer: Andrew Bogott Gerrit-Reviewer: Dereckson Gerrit-Reviewer: Thcipriani Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Wikitech: Remove address, domain, proxy special pages. - change (mediawiki...OpenStackManager)
jenkins-bot has submitted this change and it was merged. Change subject: Wikitech: Remove address, domain, proxy special pages. .. Wikitech: Remove address, domain, proxy special pages. Bug: T124184 Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 --- M OpenStackManager.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Alex Monk: Looks good to me, approved jenkins-bot: Verified diff --git a/OpenStackManager.php b/OpenStackManager.php index 28f009f..bedab09 100644 --- a/OpenStackManager.php +++ b/OpenStackManager.php @@ -234,14 +234,11 @@ $wgSpecialPages['NovaInstance'] = 'SpecialNovaInstance'; $wgSpecialPages['NovaKey'] = 'SpecialNovaKey'; $wgSpecialPages['NovaProject'] = 'SpecialNovaProject'; -$wgSpecialPages['NovaDomain'] = 'SpecialNovaDomain'; -$wgSpecialPages['NovaAddress'] = 'SpecialNovaAddress'; $wgSpecialPages['NovaSecurityGroup'] = 'SpecialNovaSecurityGroup'; $wgSpecialPages['NovaServiceGroup'] = 'SpecialNovaServiceGroup'; $wgSpecialPages['NovaRole'] = 'SpecialNovaRole'; $wgSpecialPages['NovaVolume'] = 'SpecialNovaVolume'; $wgSpecialPages['NovaSudoer'] = 'SpecialNovaSudoer'; -$wgSpecialPages['NovaProxy'] = 'SpecialNovaProxy'; $wgSpecialPages['NovaPuppetGroup'] = 'SpecialNovaPuppetGroup'; $wgSpecialPages['NovaResources'] = 'SpecialNovaResources'; -- To view, visit https://gerrit.wikimedia.org/r/279543 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/OpenStackManager Gerrit-Branch: master Gerrit-Owner: Andrew Bogott Gerrit-Reviewer: Alex Monk Gerrit-Reviewer: Andrew Bogott Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Wikitech: Remove address, domain, proxy special pages. - change (mediawiki...OpenStackManager)
Alex Monk has uploaded a new change for review. https://gerrit.wikimedia.org/r/279569 Change subject: Wikitech: Remove address, domain, proxy special pages. .. Wikitech: Remove address, domain, proxy special pages. Bug: T124184 Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 --- M OpenStackManager.php 1 file changed, 0 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/OpenStackManager refs/changes/69/279569/1 diff --git a/OpenStackManager.php b/OpenStackManager.php index 28f009f..bedab09 100644 --- a/OpenStackManager.php +++ b/OpenStackManager.php @@ -234,14 +234,11 @@ $wgSpecialPages['NovaInstance'] = 'SpecialNovaInstance'; $wgSpecialPages['NovaKey'] = 'SpecialNovaKey'; $wgSpecialPages['NovaProject'] = 'SpecialNovaProject'; -$wgSpecialPages['NovaDomain'] = 'SpecialNovaDomain'; -$wgSpecialPages['NovaAddress'] = 'SpecialNovaAddress'; $wgSpecialPages['NovaSecurityGroup'] = 'SpecialNovaSecurityGroup'; $wgSpecialPages['NovaServiceGroup'] = 'SpecialNovaServiceGroup'; $wgSpecialPages['NovaRole'] = 'SpecialNovaRole'; $wgSpecialPages['NovaVolume'] = 'SpecialNovaVolume'; $wgSpecialPages['NovaSudoer'] = 'SpecialNovaSudoer'; -$wgSpecialPages['NovaProxy'] = 'SpecialNovaProxy'; $wgSpecialPages['NovaPuppetGroup'] = 'SpecialNovaPuppetGroup'; $wgSpecialPages['NovaResources'] = 'SpecialNovaResources'; -- To view, visit https://gerrit.wikimedia.org/r/279569 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/OpenStackManager Gerrit-Branch: wmf/1.27.0-wmf.18 Gerrit-Owner: Alex Monk Gerrit-Reviewer: Andrew Bogott ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Wikitech: Remove address, domain, proxy special pages. - change (mediawiki...OpenStackManager)
Andrew Bogott has uploaded a new change for review. https://gerrit.wikimedia.org/r/279543 Change subject: Wikitech: Remove address, domain, proxy special pages. .. Wikitech: Remove address, domain, proxy special pages. Bug: T124184 Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 --- M OpenStackManager.php 1 file changed, 0 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/OpenStackManager refs/changes/43/279543/1 diff --git a/OpenStackManager.php b/OpenStackManager.php index 28f009f..bedab09 100644 --- a/OpenStackManager.php +++ b/OpenStackManager.php @@ -234,14 +234,11 @@ $wgSpecialPages['NovaInstance'] = 'SpecialNovaInstance'; $wgSpecialPages['NovaKey'] = 'SpecialNovaKey'; $wgSpecialPages['NovaProject'] = 'SpecialNovaProject'; -$wgSpecialPages['NovaDomain'] = 'SpecialNovaDomain'; -$wgSpecialPages['NovaAddress'] = 'SpecialNovaAddress'; $wgSpecialPages['NovaSecurityGroup'] = 'SpecialNovaSecurityGroup'; $wgSpecialPages['NovaServiceGroup'] = 'SpecialNovaServiceGroup'; $wgSpecialPages['NovaRole'] = 'SpecialNovaRole'; $wgSpecialPages['NovaVolume'] = 'SpecialNovaVolume'; $wgSpecialPages['NovaSudoer'] = 'SpecialNovaSudoer'; -$wgSpecialPages['NovaProxy'] = 'SpecialNovaProxy'; $wgSpecialPages['NovaPuppetGroup'] = 'SpecialNovaPuppetGroup'; $wgSpecialPages['NovaResources'] = 'SpecialNovaResources'; -- To view, visit https://gerrit.wikimedia.org/r/279543 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I02e309dd119265468da52ebd7bbd8afdec161a65 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/OpenStackManager Gerrit-Branch: master Gerrit-Owner: Andrew Bogott ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits