Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/75124
Change subject: Fixed incorrect doc
......................................................................
Fixed incorrect doc
Change-Id: Id004e80eddd3d81c6f0909a4f57abfc9d7639674
---
M src/QueryInterface.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikibaseDatabase
refs/changes/24/75124/1
diff --git a/src/QueryInterface.php b/src/QueryInterface.php
index e7fe2f8..c9378e2 100644
--- a/src/QueryInterface.php
+++ b/src/QueryInterface.php
@@ -45,7 +45,7 @@
*
* @param string $tableName
*
- * @return boolean Success indicator
+ * @throws TableCreationFailedException
*/
public function dropTable( $tableName );
--
To view, visit https://gerrit.wikimedia.org/r/75124
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id004e80eddd3d81c6f0909a4f57abfc9d7639674
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseDatabase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
