jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/338741 )
Change subject: Add more links to buggy role
......................................................................
Add more links to buggy role
Links for I1b3fb4d4bdf
Change-Id: I47e61710240a866cc18155f07bffb3c657922517
---
M puppet/modules/role/files/buggy/VagrantRoleBuggy.wiki
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Gergő Tisza: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/role/files/buggy/VagrantRoleBuggy.wiki
b/puppet/modules/role/files/buggy/VagrantRoleBuggy.wiki
index bdde408..0d77ff6 100644
--- a/puppet/modules/role/files/buggy/VagrantRoleBuggy.wiki
+++ b/puppet/modules/role/files/buggy/VagrantRoleBuggy.wiki
@@ -32,6 +32,9 @@
=== Server-side ===
* [{{fullurl:{{FULLPAGENAME}}|buggy=php-exception}} PHP exception]
* [{{fullurl:{{FULLPAGENAME}}|buggy=php-mwexception}} PHP MWException]
-* [{{fullurl:{{FULLPAGENAME}}|buggy=missing-class}} Using non-existent class]
+* [{{fullurl:{{FULLPAGENAME}}|buggy=missing-class}} PHP fatal (using
non-existent class)]
+* [{{fullurl:{{FULLPAGENAME}}|buggy=php-error}} PHP error]
+* [{{fullurl:{{FULLPAGENAME}}|buggy=php-warning}} PHP warning]
+* [{{fullurl:{{FULLPAGENAME}}|buggy=php-notice}} PHP notice]
* [{{fullurl:{{FULLPAGENAME}}|buggy=sql}} SQL error]
* [{{SERVER}}/w/api.php?action=buggy API error]
--
To view, visit https://gerrit.wikimedia.org/r/338741
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I47e61710240a866cc18155f07bffb3c657922517
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Gergő Tisza <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
