pipe optional type

gossi · gossi · commit 8d68c4cfd582 · 2019-05-18T12:12:47.000+02:00
diff --git a/src/config/CodeGeneratorConfig.php b/src/config/CodeGeneratorConfig.php
@@ -78,7 +78,7 @@ public function getProfile(): Profile {
 	/**
 	 * Sets the code style profile
 	 *
-	 * @param Profile/string $profile
+	 * @param Profile|string $profile
 	 * @return $this
 	 */
 	public function setProfile($profile) {

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ public function getProfile(): Profile {`
`78`	`78`	`/**`
`79`	`79`	`* Sets the code style profile`
`80`	`80`	`*`
`81`		`- * @param Profile/string $profile`
	`81`	`+ * @param Profile\|string $profile`
`82`	`82`	`* @return $this`
`83`	`83`	`*/`
`84`	`84`	`public function setProfile($profile) {`