mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-15 03:43:46 +00:00
f6f6bf00e1
Page images was updated to have a split between the 'best' page image, and the best free page image. Unfortunately the deployment plan didn't take into account that the default 'free' would be pointing to an unpopulated page prop, which will not be populated until LinksUpdate has run for every page on every wiki which could take weeks or months. To restore some semblance of order, make the default point at the currently populated field. A followup will need to be done to populate the appropriate field. Bug: T152155 Change-Id: I1d35e965dc37c8c4ecdcc43313b3198e951e1978 |
||
---|---|---|
i18n | ||
includes | ||
maintenance | ||
tests/phpunit | ||
.gitignore | ||
.gitreview | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
package.json | ||
PageImages.i18n.php | ||
PageImages.php |