4,656
edits
MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 628: | Line 628: | ||
updatePrintSelectionUI(); | updatePrintSelectionUI(); | ||
hidePrintSelectionOptions(); | hidePrintSelectionOptions(); | ||
console.log("Filtering process complete, updated views and borders"); | |||
} | } | ||