Page MenuHomeGitPull.it

D27.1765104834.diff
No OneTemporary

Size
348 B
Referenced Files
None
Subscribers
None

D27.1765104834.diff

diff --git a/tools/wikidata-review-contributor.php b/tools/wikidata-review-contributor.php
--- a/tools/wikidata-review-contributor.php
+++ b/tools/wikidata-review-contributor.php
@@ -132,7 +132,7 @@
// allow to pause the script
if( $INTERACTIVE ) {
- Input::ask( "press ENTER" );
+ Input::askInput( "(Press ENTER)" );
}
}

File Metadata

Mime Type
text/plain
Expires
Sun, Dec 7, 11:53 (1 h, 33 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
1427177
Default Alt Text
D27.1765104834.diff (348 B)

Event Timeline