Passed
Push — master ( e02050...0c04ca )
by
unknown
33:28 queued 20:51
created
class.baseexception.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -114,7 +114,7 @@
 block discarded – undo
114 114
 	/**
115 115
 	 * Returns title that should be sent to client to display as a message box title.
116 116
 	 */
117
-	public function getTitle(): null|string {
117
+	public function getTitle(): null | string {
118 118
 		return $this->title;
119 119
 	}
120 120
 
Please login to merge, or discard this patch.