Update to MediaWiki 1.19.0

1 files changed, 8 insertions, 2 deletions

diff --git a/maintenance/checkSyntax.php b/maintenance/checkSyntax.php
index 83f73be5..cc4e5af5 100644
--- a/maintenance/checkSyntax.php
+++ b/maintenance/checkSyntax.php
@@ -165,6 +165,8 @@ class CheckSyntax extends Maintenance {
 
 	/**
 	 * Returns true if $file is of a type we can check
+	 * @param $file string
+	 * @return bool
 	 */
 	private function isSuitableFile( $file ) {
 		$file = str_replace( '\\', '/', $file );
@@ -181,6 +183,8 @@ class CheckSyntax extends Maintenance {
 
 	/**
 	 * Add given path to file list, searching it in include path if needed
+	 * @param $path string
+	 * @return bool
 	 */
 	private function addPath( $path ) {
 		global $IP;
@@ -188,8 +192,10 @@ class CheckSyntax extends Maintenance {
 	}
 
 	/**
-	* Add given file to file list, or, if it's a directory, add its content
-	*/
+	 * Add given file to file list, or, if it's a directory, add its content
+	 * @param $path string
+	 * @return bool
+	 */
 	private function addFileOrDir( $path ) {
 		if ( is_dir( $path ) ) {
 			$this->addDirectoryContent( $path );