mediawiki-extensions-Syntax.../includes
Umherirrender ef0b19887b Use own line for comments
Move comments found by NewLineComment warning of the
SpaceBeforeSingleLineComment sniff.

Change-Id: I15e9c33ebb562a4062a7c0149f3ffa2abccf5d65
2024-12-07 22:31:18 +01:00
..
ParsoidExt.php Set hasWikitextInput flag to false 2023-10-03 20:52:29 +00:00
Pygmentize.php Avoid PHP_EOL while generating CSS 2024-09-30 22:43:05 +05:30
PygmentsException.php Port to BoxedCommand 2021-09-10 11:47:28 -07:00
ResourceLoaderPygmentsModule.php Add a few missing type declarations to properties and methods 2024-01-22 09:39:30 +01:00
SyntaxHighlight.php Define remote extension path for dynamic RL modules 2024-11-03 19:24:46 +01:00
SyntaxHighlightAce.php Use own line for comments 2024-12-07 22:31:18 +01:00
SyntaxHighlightGeSHiCompat.php Fix GeSHi support, update PHP/JSDocs, use modern PHP 2024-01-22 20:10:04 +01:00
VisualEditorConfig.php Add a few missing type declarations to properties and methods 2024-01-22 09:39:30 +01:00