bryce/mediawiki-extensions-UniversalLanguageSelector
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update newlines

Browse Source 
Change-Id: I147338b76d3c9b1a34de51978dbfdebd17026bc8
This commit is contained in:
Siebrand Mazeland
2016-03-05 16:23:39 +01:00
parent 12abc7daca
commit 53fd91f3c0
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
data/fontrepo/scripts/compile.php
View File

@@ -10,20 +10,23 @@ if ( !is_dir( '../fonts/' ) ) {
$list = array(); $list = array();
$list['base'] = '../data/fontrepo/fonts/'; $list['base'] = '../data/fontrepo/fonts/';
foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) { foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
$conf = parse_ini_file( $inifile, true ); $conf = parse_ini_file( $inifile, true );
$languages = array(); $languages = array();
$version = null; $version = null;
foreach ( $conf as $fontname => $font ) {
foreach ( $conf as $fontname => $font ) {
if ( isset( $font['languages'] ) ) { if ( isset( $font['languages'] ) ) {
$languages = explode( ',', $font['languages'] ); $languages = explode( ',', $font['languages'] );
foreach ( $languages as $rcode ) { foreach ( $languages as $rcode ) {
$rcode = trim( $rcode ); $rcode = trim( $rcode );
$code = str_replace( '*', '', $rcode ); $code = str_replace( '*', '', $rcode );
if ( !isset( $list['languages'][$code] ) ) { if ( !isset( $list['languages'][$code] ) ) {
$list['languages'][$code] = array( 'system' ); $list['languages'][$code] = array( 'system' );
} }
if ( strpos( $rcode, '*' ) !== false ) { if ( strpos( $rcode, '*' ) !== false ) {
unset( $list['languages'][$code][0] ); unset( $list['languages'][$code][0] );
array_unshift( $list['languages'][$code], $fontname ); array_unshift( $list['languages'][$code], $fontname );
@@ -32,9 +35,11 @@ foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
} }
} }
} }
if ( isset( $font['version'] ) ) { if ( isset( $font['version'] ) ) {
$version = $font['version']; $version = $font['version'];
} }
$list['fonts'][$fontname] = array( $list['fonts'][$fontname] = array(
'version' => $version, 'version' => $version,
); );
@@ -42,6 +47,7 @@ foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
if ( isset( $font['fontweight'] ) ) { if ( isset( $font['fontweight'] ) ) {
$list['fonts'][$fontname]['fontweight'] = $font['fontweight']; $list['fonts'][$fontname]['fontweight'] = $font['fontweight'];
} }
if ( isset( $font['fontstyle'] ) ) { if ( isset( $font['fontstyle'] ) ) {
$list['fonts'][$fontname]['fontstyle'] = $font['fontstyle']; $list['fonts'][$fontname]['fontstyle'] = $font['fontstyle'];
} }
@@ -51,15 +57,19 @@ foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
if ( isset( $font['ttf'] ) ) { if ( isset( $font['ttf'] ) ) {
$list['fonts'][$fontname]['ttf'] = basename( $dir ) . '/' . $font['ttf']; $list['fonts'][$fontname]['ttf'] = basename( $dir ) . '/' . $font['ttf'];
} }
if ( isset( $font['svg'] ) ) { if ( isset( $font['svg'] ) ) {
$list['fonts'][$fontname]['svg'] = basename( $dir ) . '/' . $font['svg']; $list['fonts'][$fontname]['svg'] = basename( $dir ) . '/' . $font['svg'];
} }
if ( isset( $font['eot'] ) ) { if ( isset( $font['eot'] ) ) {
$list['fonts'][$fontname]['eot'] = basename( $dir ) . '/' . $font['eot']; $list['fonts'][$fontname]['eot'] = basename( $dir ) . '/' . $font['eot'];
} }
if ( isset( $font['woff'] ) ) { if ( isset( $font['woff'] ) ) {
$list['fonts'][$fontname]['woff'] = basename( $dir ) . '/' . $font['woff']; $list['fonts'][$fontname]['woff'] = basename( $dir ) . '/' . $font['woff'];
} }
if ( isset( $font['woff2'] ) ) { if ( isset( $font['woff2'] ) ) {
$list['fonts'][$fontname]['woff2'] = basename( $dir ) . '/' . $font['woff2']; $list['fonts'][$fontname]['woff2'] = basename( $dir ) . '/' . $font['woff2'];
} }
@@ -76,9 +86,11 @@ foreach ( glob( '../fonts/*/font.ini' ) as $inifile ) {
if ( isset( $font['bold'] ) ) { if ( isset( $font['bold'] ) ) {
$list['fonts'][$fontname]['variants']['bold'] = $font['bold']; $list['fonts'][$fontname]['variants']['bold'] = $font['bold'];
} }
if ( isset( $font['bolditalic'] ) ) { if ( isset( $font['bolditalic'] ) ) {
$list['fonts'][$fontname]['variants']['bolditalic'] = $font['bolditalic']; $list['fonts'][$fontname]['variants']['bolditalic'] = $font['bolditalic'];
} }
if ( isset( $font['italic'] ) ) { if ( isset( $font['italic'] ) ) {
$list['fonts'][$fontname]['variants']['italic'] = $font['italic']; $list['fonts'][$fontname]['variants']['italic'] = $font['italic'];
} }