Provide a script to reset the page_random column
authorPiotr Miazga <piotr@polishdeveloper.pl>
Thu, 8 Nov 2018 23:45:47 +0000 (18:45 -0500)
committerStephen Niedzielski <stephen@niedzielski.com>
Fri, 9 Nov 2018 22:07:48 +0000 (15:07 -0700)
commit4c73c8a67647c1daaa3bdfa798a32c13ae466e6f
treebef777925e154c79e39a43c91469f8af5687cb23
parent245057031b09064016fb26424825de47294be80b
Provide a script to reset the page_random column

Bug: T208909
Change-Id: I914ff44d1212c565e08ff17effbd682dfe7f70fb
autoload.php
maintenance/resetPageRandom.php [new file with mode: 0644]